Converse of object

• satisfy: The index contains entries for only those table rows that satisfy the predicate.

• define: Finally, you just may have really forgotten to define some predicate.

Preposition: on

• belief: Policies designed to address the problem have been predicated on this belief.

• existence: Our comments on changes to certificates of immunity below are predicated on the existence of consultation on such applications.

Adjective modifier

• vague: This is not the case with vague predicates like hot, or tall.

• binary: The optional third argument must be a binary predicate, a binary function returning a boolean value.

• static: Static predicates are used to capture the exact set required.

• logical: In formal reasoning, such open sentences may be transformed into logical predicates in the usual way.

• moral: It is obvious that machines simply cannot be the bearer of moral predicates.

Modifies a noun

• calculus: Such a question is irrelevant at the level of predicate calculus.

• logic: Of course, in predicate logic, there should be no need to worry about the order.

• transformer: Need to show that the BM's are isomorphic to the predicate transformers.

• adjective: This apple is really big ). Adjectives used like this after the verb to be are known as predicate adjectives.

• arc: In particular, it is common that a subject node in the RDF graph has multiple outgoing predicate arcs.

• p: In both cases, a delimiter is a character satisfying the predicate p.

Noun used with modifier

• one-place: If Q 1 is a one-place predicate letter in K, then I ( Q ) is a subset of d.

• first-order: The combinatorics was introduced by Ramsey to solve a special case of the decision problem for the first-order predicate calculus.

• query: For convenience of discussion assume that query predicates are such that the lower boundaries of these fall on partition boundaries.