QuaternaryPredicate(quaternary predicate) |
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 3432-3433 | |
(subclass QuaternaryPredicate InheritableRelation) | Merge.kif 3430-3430 | Quaternary predicate is a subclass of inheritable relation |
(subclass QuaternaryPredicate Predicate) | Merge.kif 3428-3428 | Quaternary predicate is a subclass of predicate |
(subclass QuaternaryPredicate QuaternaryRelation) | Merge.kif 3429-3429 | Quaternary predicate is a subclass of quaternary relation |
appearance as argument number 2 |
![]() |
antecedent |
![]() |
(=> (instance ?REL QuaternaryPredicate) (valence ?REL 4)) |
Merge.kif 3435-3437 |
|
![]() |
![]() |