Predicate
|
|
appearance as argument number 1 |
(documentation Predicate ChineseLanguage "Predicate 是一个作句的 Relation,这个 Relation 的每一个元组都是物体有限、有序的的句子。一个特定组员是一个 Predicate 的元素这事实,由 '(*predicate* arg_1 arg_2 .. arg_n)'来表示, arg_i 是关联的事物。在 BinaryPredicate 的情况下, 可以读成 `arg_1 是 *predicate* arg_2' 或者 `arg_1 的一个 *predicate* 是 arg_2'。") | chinese_format.kif 1987-1990 | |
(documentation Predicate EnglishLanguage "A Predicate is a sentence-forming Relation. Each tuple in the Relation is a finite, ordered sequence of objects. The fact that a particular tuple is an element of a Predicate is denoted by '(*predicate* arg_1 arg_2 .. arg_n)', where the arg_i are the objects so related. In the case of BinaryPredicates, the fact can be read as `arg_1 is *predicate* arg_2' or `a *predicate* of arg_1 is arg_2'.") | Merge.kif 3343-3349 | |
(documentation Predicate JapaneseLanguage "Predicate とは、Relation の各タプルが有限で 順序付けされたオブジェクトのシーケンスである文形成 Relation である。 特定のタプルが '(*述語* arg_1 arg_2 .. arg_n)による Predicate の要素であるという事実。 arg_n)'は、arg_i が 関連するオブジェクトである。BinaryPredicates の場合、事実は 'arg_1 は *述語* arg_2' または 'arg_1 の *述語* は arg_2' と読むことができる。") | japanese_format.kif 620-624 | |
(subclass Predicate InheritableRelation) | Merge.kif 3341-3341 | Predicat est une sous-classe de InheritableRelation |
(subclass Predicate Relation) | Merge.kif 3340-3340 | Predicat est une sous-classe de relation |
appearance as argument number 2 |
appearance as argument number 3 |
(domain defaultMaxValue 1 Predicate) | Merge.kif 18519-18519 | Le nombre 1 argument de defaultMaxValue est une instance de predicat |
(domain defaultMinValue 1 Predicate) | Merge.kif 18502-18502 | Le nombre 1 argument de defaultMinValue est une instance de predicat |
(domain defaultValue 1 Predicate) | Merge.kif 18536-18536 | Le nombre 1 argument de defaultValue est une instance de predicat |
(domain maxValue 1 Predicate) | Merge.kif 18484-18484 | Le nombre 1 argument de maxValue est une instance de predicat |
(domain minValue 1 Predicate) | Merge.kif 18466-18466 | Le nombre 1 argument de minValue est une instance de predicat |
antecedent |