В Вашем браузере деактивирован Javascript. Активировав его, Вы сможете пользоваться LexiTrainer, а также другими функциями.

англо » русский

английский)

I . predicate [ˈpredɪkeɪt, америк. -kɪt] СУЩ.

predicate

сказу́емое ср.

to predicate that …

to predicate that …

английский

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

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

In first-order theories, predicates are often associated with sets. en.wikipedia.org

Хотели бы вы добавить слова, фразы или переводы?

Пришлите нам новую статью.

английский