QuaternaryPredicate
|
|
appearance as argument number 1 |
(documentation QuaternaryPredicate ChineseLanguage "这是一个需要四个参数的 Predicate Class。") | chinese_format.kif 2015-2016 | |
(documentation QuaternaryPredicate EnglishLanguage "The Class of Predicates that require four arguments.") | Merge.kif 3505-3506 | |
(documentation QuaternaryPredicate JapaneseLanguage "Predicates の Class は、正確に4つの 引数を必要とする。") | japanese_format.kif 655-656 | |
(subclass QuaternaryPredicate InheritableRelation) | Merge.kif 3503-3503 | 子類 QuaternaryPredicate and 可繼承的關係 |
(subclass QuaternaryPredicate Predicate) | Merge.kif 3501-3501 | 子類 QuaternaryPredicate and Predicate |
(subclass QuaternaryPredicate QuaternaryRelation) | Merge.kif 3502-3502 | 子類 QuaternaryPredicate and QuaternaryRelation |
appearance as argument number 2 |
antecedent |
(=> (instance ?REL QuaternaryPredicate) (valence ?REL 4)) |
Merge.kif 3508-3510 |
|