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 ﬁxed meaning).
Design and Implementation of Aggregate Functions in the DLV System
Moreover, the deﬁning program of a predicate p, denoted by def P (p), consists of def r (p) and the de ﬁning 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 ﬁnition 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 deﬁnable set is a deﬁnable predicate, i.e., a deﬁnable function into the set {T, F } (or {0, 1}).
Definability of groups in $\aleph_0$-stable metric structures
Speciﬁcally, 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 deﬁnable predicate extending a partial deﬁnable predicate ψ( ¯x).
Definability of groups in $\aleph_0$-stable metric structures
Let X be a family of uniformly deﬁnable sets in a stable theory, meaning that there is a deﬁnable 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 reﬁnement of predicates can be made explicit by adding an indication (S for synchronous, A for asynchronous) denoting the intended mode of granularity reﬁnement for the predicates included in the subformula.
Modeling Time in Computing: A Taxonomy and a Comparative Survey
If, in the resource manager speciﬁcation, 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 ﬁrst 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 deﬁnes the pseudo-metric dK (f, g) = µJf 6= gK. • On B, the distance predicate dB deﬁnes the pseudo-metric dB (B, C) = µ(B△C).
Randomizations of models as metric structures
***