| TernaryPredicate(ternary predicate) |
| 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 3533-3534 | |
| (documentation TernaryPredicate JapaneseLanguage "Predicates の Class は、正確に3つの 引数を必要とする。") | japanese_format.kif 653-654 | |
| (subclass TernaryPredicate InheritableRelation) | Merge.kif 3531-3531 | Ternary predicate is a subclass of inheritable relation |
| (subclass TernaryPredicate Predicate) | Merge.kif 3529-3529 | Ternary predicate is a subclass of predicate |
| (subclass TernaryPredicate TernaryRelation) | Merge.kif 3530-3530 | Ternary predicate is a subclass of ternary relation |
| appearance as argument number 2 |
|
|
| antecedent |
|
|
| (=> (instance ?REL TernaryPredicate) (valence ?REL 3)) |
Merge.kif 3536-3538 |
|
|
|