TernaryPredicate(pr�dicat ternaire) |
appearance as argument number 1 |
![]() |
(documentation TernaryPredicate ChineseLanguage "这是一个需要三个参数的 Predicate Class。") | chinese_format.kif 2014-2014 | |
(documentation TernaryPredicate EnglishLanguage "The Class of Predicates that require exactly three arguments.") | Merge.kif 3480-3481 | |
(documentation TernaryPredicate JapaneseLanguage "Predicates の Class は、正確に3つの 引数を必要とする。") | japanese_format.kif 653-654 | |
(subclass TernaryPredicate InheritableRelation) | Merge.kif 3478-3478 | Pr�dicat ternaire est une sous-classe de InheritableRelation |
(subclass TernaryPredicate Predicate) | Merge.kif 3476-3476 | Pr�dicat ternaire est une sous-classe de predicat |
(subclass TernaryPredicate TernaryRelation) | Merge.kif 3477-3477 | Pr�dicat ternaire est une sous-classe de relation ternaire |
appearance as argument number 2 |
![]() |
antecedent |
![]() |
(=> (instance ?REL TernaryPredicate) (valence ?REL 3)) |
Merge.kif 3483-3485 |
|
![]() |
![]() |