predicate

predi·cate (pred′i kāt′; for n. & adj., -kit)

transitive verb -·cat′ed, -·cat′·ing

Obsolete to proclaim; preach; declare; affirm
1. to affirm as a quality, attribute, or property of a person or thing to predicate the honesty of another's motives
2. Logic to assert (something) about the subject of a proposition
to affirm or base (something) on or upon given facts, arguments, conditions, etc.
to imply or connote

Etymology: L praedicatus, pp. of praedicare: see preach

intransitive verb

to make an affirmation or statement

noun

Gram. the verb or verbal phrase, including any complements, objects, and modifiers, that is one of the two immediate constituents of a sentence and asserts something about the subject
Logic something that is affirmed or denied about the subject of a proposition (Ex.: green in “grass is green”)

Etymology: ML praedicatum, neut. of praedicatus: see predicatethe

adjective

Gram. of or having the nature of a predicate a predicate adjective

pred′i·ca′·tion noun pred′i·ca′·tive adjective pred′i·ca′·tively adverb

Preposition: on

assumption: MIS partitioning has been predicated on the assumption that there are no indices for purely MIS purposes.
notion: Performance art practice over the decades has often been predicated on the notion of meetings: contact and exchange.
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.

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.

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.

Browse dictionary entries near predicate