QuaternaryPredicate(4進述語) |
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 3519-3520 | |
(documentation QuaternaryPredicate JapaneseLanguage "Predicates の Class は、正確に4つの 引数を必要とする。") | japanese_format.kif 655-656 | |
(subclass QuaternaryPredicate InheritableRelation) | Merge.kif 3517-3517 | 4進述語 は InheritableRelation の subclass では |
(subclass QuaternaryPredicate Predicate) | Merge.kif 3515-3515 | 4進述語 は 述語 の subclass では |
(subclass QuaternaryPredicate QuaternaryRelation) | Merge.kif 3516-3516 | 4進述語 は 4変数関係 の subclass では |
appearance as argument number 2 |
![]() |
antecedent |
![]() |
(=> (instance ?REL QuaternaryPredicate) (valence ?REL 4)) |
Merge.kif 3522-3524 |
![]() |
![]() |