English » Russian

Translations for „predicate“ in the English » Russian Dictionary (Go to Russian » English )

I . predicate [ˈpredɪkeɪt, Am -kɪt] N

predicate

II . predicate [ˈpredɪkeɪt, Am -kɪt] VB trans

1. predicate (assert):

to predicate that

Usage examples with predicate

to predicate that

Monolingual examples (not verified by PONS Editors)

English
The actor is the subject, the predicate the verb phrase and the goal is the object of the sentence.
en.wikipedia.org
This is a second-order formula because it contains a quantification over a predicate.
en.wikipedia.org
Any remaining predicate, called the residual predicate, is processed by applying the predicate to the record itself.
en.wikipedia.org
All predicates must be satisfied for a match to occur.
en.wikipedia.org
An example of a filter rule from the true-analogy rule set creates match hypotheses between predicates that have the same functor.
en.wikipedia.org
A rule's body consists of calls to predicates, which are called the rule's goals.
en.wikipedia.org
This means that statements are not formalized as predicates but as functions.
en.wikipedia.org
The splitting rule and negative equality splitting can be simulated by the introduction of new predicate definitions and dynamic folding of such definitions.
en.wikipedia.org
A particularly common type of functor is the predicate.
en.wikipedia.org
In first-order theories, predicates are often associated with sets.
en.wikipedia.org

Would you like to add some words, phrases or translations?

Submit a new entry.

Choose your language Deutsch | English | Español | Français | Italiano | Polski | Русский