Another posts

bottom of inning megabucks definition legal principle definition neptunian definition senseful meaning dodecahedral cleavage anglo-saxonism definition what is a commercial enterprise philopena definition vitriolic acid definition of spore formation daedalian definition what are beady eyes what is a shirttail relative to put it differently en deshabille gas fixture ligamentous definition glanced over civic leader definition lick log definition ferriferous definition moral agents definition intime definition fit up definition atrazine definition crops up definition astriction definition citizen wausau pinkish lavender corecast weather landed estate bleeder's disease



  • WordNet 3.6
    • n predication (logic) a declaration of something self-evident; something that can be assumed as the basis for argument
    • ***
Webster's Revised Unabridged Dictionary
    • Predication Preaching.
    • Predication The act of predicating, or of affirming one thing of another; affirmation; assertion.
    • ***
Century Dictionary and Cyclopedia
    • n predication The act of proclaiming publicly or preaching; hence, a sermon; a religious discourse.
    • n predication The act of predicating or affirming one thing of another; formation or expression of judgment; affirmation; assertion.
    • ***
Chambers's Twentieth Century Dictionary
    • n Predication act of predicating: assertion: affirmation
    • ***


Webster's Revised Unabridged Dictionary
L. praedicatio,: cf. F. prédication,
Chambers's Twentieth Century Dictionary
L. prædicāre, -ātum, to proclaim.


In literature:

Immortality, &c. also cannot be predicated of him, as Scripture speaks of his origin and his dissolution.
"The Vedanta-Sutras with the Commentary by Sankaracarya"
However, even yet we can predicate nothing positive.
"All Around the Moon" by Jules Verne
Is any such unity predicable of their forms?
"Lectures and Essays" by Thomas Henry Huxley
From a bit of bone, Cuvier could predicate a whole animal, even to the hide and hair.
"The Wit and Humor of America, Volume IV. (of X.)" by Various
Again, nouns sometimes contain particles within themselves to predicate possession, and to this extent nouns and verbs are undifferentiated.
"On the Evolution of Language" by John Wesley Powell
The words which serve to indicate predication are verbs.
"Hume" by T.H. Huxley
AMERICAN ART: It is hardly possible to predicate much about the environment as it affects art in America.
"A Text-Book of the History of Painting" by John C. Van Dyke
Such objects do not predicate habitation at that distance; primitive explorers may have lost them.
"Archeological Investigations" by Gerard Fowke
That is, the Being of which Deity is predicated must be Unconditioned.
"A Candid Examination of Theism" by George John Romanes
Thus, in the first line, 'boding' is not a quality that can be predicated of silence.
"The Knickerbocker, or New-York Monthly Magazine, January 1844" by Various
For instance, they have nothing like a subject-predicate sentence structure.
"Uller Uprising" by Henry Beam Piper, John D. Clark and John F. Carr
Christians are the true Israel; and therefore all Israel's predicates of honour belong to them.
"History of Dogma, Volume 1 (of 7)" by Adolph Harnack
Here 'readiest' logically belongs to the predicate.
"Milton's Comus" by John Milton
It cannot be predicated upon any of Mr. Buckle's averages.
"The Atlantic Monthly, Volume 5, No. 28, February, 1860" by Various
This was a law from which Gabriel Nash was condemned to suffer, if suffering could on any occasion be predicated of Gabriel Nash.
"The Tragic Muse" by Henry James
This plan was predicated upon these bases: 1.
"The Atlantic Monthly, Volume 16, No. 97, November, 1865" by Various
By predicating a First Cause, however, the theist removes the mystery a stage further back.
"The Necessity of Atheism" by Dr. D.M. Brooks
By this he did not mean simply that all things were numerable, or that number belonged to them as a predicate.
"Plato and the Other Companions of Sokrates, 3rd ed. Volume I (of 4)" by George Grote
Both predicates and Subject vanish.
"Plato and the Other Companions of Sokrates, 3rd ed. Volume III (of 4)" by George Grote
It has a distinct subject and predicate.
"The Works of Charles and Mary Lamb" by Charles Lamb

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:

If you're struggling with making consistent contact, or you're plagued with a swing that tends to route from the outside-in (a predicator for a slice), here's a simple drill for you to try.
Westward expansion was predicated on adequate water supplies.
The purported justification for reallocating TV spectrum for broadband is predicated in large part on anticipated growth in wireless data traffic.
His career is predicated on wild, at times dangerous impulsiveness, but the structure of an R. Kelly concert is surprisingly uniform.
Ross Perot's campaign for president was predicated on "shared sacrifice" to cut the then-$4 trillion debt.
Last fall, Mayor Bloomberg claimed that his push to revise the city's term limits was predicated on his desire to shepherd New York through the economic collapse.
According to (the town water) department's upcoming water status report, Payson has sufficient water in its aquifers to meet all the demands until the year 2021, predicated on long-term average natural recharge.
In anticipation of predicated warm and windy weather on Tuesday, fire managers have ordered a heavy helicopter to assist with suppression efforts of the Fern Lake fire.
Because the Incarnation is a historic event, the objectivity of it is not predicated upon 21st century recognition -- in the form of holidays, days off from work or cultural greetings .
Meanwhile, it provides a peek into a bizarre arena of show business predicated on "been there, done that," a deja vu dead end where "My Way" is a career swan song for anyone but a Sinatra impersonator .
A simple idea predicated on making leather accessories has developed into the billion-pound fashion company Mulberry .
When self-esteem is predicated on the number that pops up on the scale each morning or hinges on whether or not you can fit into freshly dried jeans today that you wore comfortably yesterday, pregnancy may present a warranted wake-up call.
(Host) According to naturalist and commentator Ted Levin, Timber rattlesnake migration is slow, methodical, predicable - and for him - irresistible.
Thursdays Great American Smoke-out is a time to quitBy the HELP Committee and Havre Public Schools for the HDNIt is estimated that at least 70 percent of smokers want to quit, plan to quit, and predic.
Much has been written regarding how much you can increase your sales team's performance by putting the right, mobile tools into their hands, many of which today are predicated on cloud-enabled access to the right data at the right time.

In science:

For each predicate p/n in the source program, the transformed program contains two predicates call p/n and ans p/n such that success sets for call p/n and ans p/n are the set of calls to p and the set of successes of p in the source program during the execution of the top-level goal.
Parametrizing Program Analysis by Lifting to Cardinal Power Domains
Both of them contain a unary predicate Pa for each symbol a of the alphabet A, as well as a binary predicate < for the ancestor relation.
Tree Languages Defined in First-Order Logic with One Quantifier Alternation
Además, creemos que es posible distinguir entre los dos efectos, debido a que en nuestro modelo para los parámetros en los cuales se predice un extinguimiento adicional, también predice un “rebote” para valores aún mayores de l (cf. figs. 3.4, 3.5, 3.6).
The quantum origins of the cosmological asymmetry
It adds new predicate symbols to the alphabet L of programs and queries; for each predicate symbol p, the unique new symbol •p is added.
A Simple Correctness Proof for Magic Transformation
The corresponding predicate is called the FKO predicate.
Short Propositional Refutations for Dense Random 3CNF Formulas
Both w and C can be encoded as finite sets of numbers, as required by the predicate for 3CNF and the FKO predicate in (1).
Short Propositional Refutations for Dense Random 3CNF Formulas
For the sake of readability we defer the formal definition of the predicate EigValBound(M, ~λ, V ) and all the lemmas that relate to it, including the proofs in the theory making use of this predicate, to Section 6.
Short Propositional Refutations for Dense Random 3CNF Formulas
In the particular case of t= /0, it would imply that there exist sets of integers definable by first-ord er sentences (i.e., which are spectra of first-order sentences) with predicates of maximal arity k + 1 which are not definable by sentences with predicates of arity k.
Hierarchies in Dependence Logic
It is a meta-logical predicate, which means that it takes predicates as its argument. To implement not predicate, cut and fail predicates are used as follows : not(X) :- X, !, fail.
Overcoming Misleads In Logic Programs by Redefining Negation
The predicate ppr/1 is one of several provided predicates for converting formulas into application adequate shapes.
Computing with Logic as Operator Elimination: The ToyElim System
Finally, in Lqe we will need a few unary predicates on the auxiliary sorts: one saying whether the group G/Gα is discrete, and some predicates specifying the cardinalities of certain quotients of two groups of the form Gα + pG or G[ps ] α + pG.
Quantifier elimination in ordered abelian groups
To be able to apply this result to ordered abelian groups, we introduce a second language Lsyn which has the required property: all Lqe -predicates connecting M and A will be replaced by some predicates on M and some functions from M to A.
Quantifier elimination in ordered abelian groups
What is missing now is a way to deal with the predicates x1 ⋄α x2+kα when k 6= 0 (for ⋄ ∈ {=, ≡m}) and with x ≡[m′ ] m,α y . (The inequalities <α are no problem.) These predicates will essentially be replaced by their union over all α.
Quantifier elimination in ordered abelian groups
Instead of our dimension predicates, Schmitt has predicates for the Szmielew-invariants of G[pr ] pr, α/Gpr, α (see Definition on page 5 of ).
Quantifier elimination in ordered abelian groups
The following lemma shows the connection between the Lsyn -predicates x =• k•, x ≡m,• k• and D [ps ] pr and the corresponding Lqe -predicates.
Quantifier elimination in ordered abelian groups