• WordNet 3.6
    • v predicate involve as a necessary condition of consequence; as in logic "solving the problem is predicated on understanding it well"
    • v predicate affirm or declare as an attribute or quality of "The speech predicated the fitness of the candidate to be President"
    • v predicate make the (grammatical) predicate in a proposition "The predicate `dog' is predicated of the subject `Fido' in the sentence `Fido is a dog'"
    • n predicate one of the two main constituents of a sentence; the predicate contains the verb and its complements
    • n predicate (logic) what is predicated of the subject of a proposition; the second term in a proposition is predicated of the first term by means of the copula "`Socrates is a man' predicates manhood of Socrates"
    • ***
Webster's Revised Unabridged Dictionary
    • a Predicate Predicated.
    • Predicate (Logic) That which is affirmed or denied of the subject. In these propositions, “Paper is white,” “Ink is not white,” whiteness is the predicate affirmed of paper and denied of ink.
    • Predicate (Gram) The word or words in a proposition which express what is affirmed of the subject.
    • v. i Predicate To affirm something of another thing; to make an affirmation.
    • Predicate To assert to belong to something; to affirm (one thing of another); as, to predicate whiteness of snow.
    • Predicate To found; to base.
    • ***
Century Dictionary and Cyclopedia
    • predicate To declare; assert; affirm; specifically, to affirm as an attribute or quality of something; attribute as a property or characteristic.
    • predicate To assert, as a proposition or argument, upon given grounds or data; found; hence, to base, as an action, upon certain grounds or security: as, to predicate a loan.
    • predicate Predicated; belonging to a predicate; constituting a part of what is predicated or asserted of anything; made, through the instrumentality of a verb, to qualify its subject, or sometimes its direct object: thus, in the following sentences the italicized words are predicate: he is an invalid; he is ill; it made him ill; they elected him captain.
    • n predicate That which is predicated or said of a subject in a proposition; in grammar, the word or words in a proposition which express what is affirmed or denied of the subject; that part of the sentence which is not the subject. See proposition.
    • n predicate A class name; a title by which a person or thing may be known, in virtue of belonging to a class.
    • ***
Chambers's Twentieth Century Dictionary
    • v.t Predicate pred′i-kāt to affirm one thing of another: to assert: to base on certain grounds
    • n Predicate (logic and gram.) that which is stated of the subject
    • ***


Webster's Revised Unabridged Dictionary
L. praedicatum, neut. of praedicatus, p. p. praedicare,: cf. F. prédicat,. See Predicate (v. t.)


In literature:

We may, therefore, further define a Proposition as 'a sentence in which one term is predicated of another.
"Logic" by Carveth Read
But after all, novelty can hardly be predicated of the views here criticised and opposed.
"On the Genesis of Species" by St. George Mivart
Such is the evidence on which we predicate the existence of hecastotheism as a veritable stage of philosophy.
"Sketch of the Mythology of the North American Indians" by John Wesley Powell
Nothing of the kind can be predicated of any other ancient writings.
"The Causes of the Corruption of the Traditional Text of the Holy Gospels" by John Burgon
The calculations predicated on a site, distant about 60 miles from market.
"The Practical Distiller" by Samuel McHarry
Predicate of the sentence; defined; compound, predicate, explained.
"Practical Grammar and Composition" by Thomas Wood
In connection with definition, the fifth predicable, difference, is useful.
"The Classification of Patents" by United States Patent Office
You cannot predicate anything else of it.
"Paul Patoff" by F. Marion Crawford
In its true sense Natural Law predicates nothing of causes.
"Natural Law in the Spiritual World" by Henry Drummond
Thou art turned now into a predicant friar.
"The White Lady of Hazelwood" by Emily Sarah Holt
For here was a new Richard, at once terrible and magnificent, regarding whom she could predicate nothing with certainty.
"The History of Sir Richard Calmady" by Lucas Malet
A tournament of that class was being held all that summer between the regular priests and the newly-instituted Predicant Friars.
"Earl Hubert's Daughter" by Emily Sarah Holt
An invariable rule in Christian Science is to deny the undesirable and affirm that which can be predicated of spirit.
"The Right Knock" by Helen Van-Anderson
Equality is an incongruous predicate.
"Folkways" by William Graham Sumner
This brevity and simplicity of predication has resulted in greater clearness.
"Elementary Guide to Literary Criticism" by F. V. N. Painter
The whole complex network of emotions which he had predicated in her, modesty, fear, panic, and coquetry, had not even entered her head.
"Command" by William McFee
But the end was just what all these events predicated.
"I, Thou, and the Other One" by Amelia Edith Huddleston Barr
Mueller in the Australian languages between the subjective and the predicative nominative.
"Basque Legends" by Wentworth Webster
To predicate Liberty of any phenomenon is to affirm that it is not necessary.
"Doctrine of the Will" by Asa Mahan
This is because the predicate of a universal proposition is really particular.
"Thought-Culture" by William Walker Atkinson

In poetry:

Individual man is ever new created:
What his being's plan is, loosely predicated
On the circumstances of his sole condition,
Colored by the fancies borrowed from tradition.
"A Pagan Reverie" by Frances Fuller Victor
The Celt in all his variants from Builth to Ballyhoo,
His mental processes are plain—one knows what he will do,
And can logically predicate his finish by his start;
But the English—ah, the English!—they are quite a race apart.
"The Puzzler" by Rudyard Kipling

In news:

The ability to express " derived predicates" in the formalization of a planning domain is both practically and theoretically important.
Much of the negative conversation concerning Google's (NASDAQ:GOOG) Android platform is predicated on the fact that it's fragmented .
How did orthodox Christianity, whose spread throughout the world was predicated in great part on its inclusiveness ('Come to me, all you who are weary and heavy laden'), come to be a symbol of exclusivity and intolerance .
Predicate verbs fend off 'death by PowerPoint'.
Saint Francois d'Assise: La predication aux oiseaux, S 175/1 ("St. Francis of Assisi preaching to the birds").
The linguistic theory of Applicative and Cognitive Grammar analyses the language in three levels as follows: the linguistic level, the predicative level, and the semantico-cognitive level.
Criminal Law – Felony murder predicate is either degree of adult abuse.
The corpus contains verbal predicates , serving as verb senses, that have semantic roles associated with each argument.
Double Jeopardy – Predicate Offense – Vacated.
Scott says that his critique of the public option is predicated on his detailed knowledge of the health care industry.
Try dropping a term like dangling participle or object predicative at your next office party and you'll see what I mean.
This 1959 Doris Day vehicle, costarring Rock Hudson and Tony Randall, launched a cycle of romantic comedies predicated on her character's chastity.
Twitter users are fairly predicable.
The history of hip-hop is predicated upon someone doing something that somebody else told them they weren't allowed to do.
Tomorrow's supply chains will be intertwined supply networks predicated on responding to supply and demand changes as they happen, not after the fact.

In science:

Note that in this case, root(x) is the predicate usually denoted by min(x) (or x = min) and max1,1 (x) is the predicate max(x) (or x = max).
Algebraic characterization of logically defined tree languages
Predicates are strings starting with lowercase letters or symbols such as =, <, > (so called built-in predicates that have a fixed meaning).
Design and Implementation of Aggregate Functions in the DLV System
Moreover, the defining program of a predicate p, denoted by def P (p), consists of def r (p) and the de fining programs of all predicates which occur in the bodies of rules in def r (p).
Design and Implementation of Aggregate Functions in the DLV System
The intuition of the restriction on the de finition of the nest ed predicates is to ensure that these predicates are deterministically computable.
Design and Implementation of Aggregate Functions in the DLV System
First, a set is a predicate, and a definable set is a definable predicate, i.e., a definable function into the set {T , F } (or {0, 1}).
Definability of groups in $\aleph_0$-stable metric structures
Specifically, we add an axiom supxy d(x, y ) ∧ ¬d(x, y ) = 0 asserting that the distance (i.e., equality) predicate takes values in {0, 1}, and similarly for the predicate ≤.
Definability of groups in $\aleph_0$-stable metric structures
By the notation ϕ( ¯x) ⊒ ψ( ¯x) we mean that ϕ( ¯x) is a definable predicate extending a partial definable predicate ψ( ¯x).
Definability of groups in $\aleph_0$-stable metric structures
Let X be a family of uniformly definable sets in a stable theory, meaning that there is a definable predicate ϕ(x, y ) such that for every X ∈ X the predicate d(x, X ) is an instance ϕ(x, aX ).
Definability of groups in $\aleph_0$-stable metric structures
This notion of synchronous vs. asynchronous refinement of predicates can be made explicit by adding an indication (S for synchronous, A for asynchronous) denoting the intended mode of granularity refinement for the predicates included in the subformula.
Modeling Time in Computing: A Taxonomy and a Comparative Survey
If, in the resource manager specification, predicate hpr represents the issue of a high priority request, it can be constrained to be a point-based predicate by introducing the following formula in addition to Axiom (3).
Modeling Time in Computing: A Taxonomy and a Comparative Survey
Its purpose it to join two formulas predicating about two different intervals into one predicating about two adjacent intervals.
Modeling Time in Computing: A Taxonomy and a Comparative Survey
By abuse of language we say that a formula of PA is Σ0 1 if it has the form ∃xP (x), for some primitive recursive predicate P (x). A formula of PA is Π0 2 if it has the form ∀x∃yP (x, y), for some primitive recursive predicate P (x, y).
Every Computably Enumerable Random Real Is Provably Computably Enumerable Random
The scheme is applicable to the cases in which there exits a local predicate for each node, such that global consistency is implied by the union of the local predicates.
Randomization Adaptive Self-Stabilization
LR has an n-ary function symbol Jϕ(·)K of sort Kn → B for each first order formula ϕ of L with n free variables, a [0, 1]-valued unary predicate symbol µ of sort B for probability, the Boolean operations ⊤, ⊥, ⊔, ⊓, ¬ of sort B, and distance predicates dK and dB for sorts K, B.
Randomizations of models as metric structures
For each formula θ(x, y ) of L, real ε > 0, and tuple g in K, there exists f ∈ K such that µ(Jθ(f , g )K△J(∃x θ)(g )K) < ε. • On K, the distance predicate dK defines the pseudo-metric dK (f , g) = µJf 6= gK. • On B , the distance predicate dB defines the pseudo-metric dB (B, C) = µ(B△C).
Randomizations of models as metric structures