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 | Pr�dicat quaternaire est une sous-classe de InheritableRelation |
(subclass QuaternaryPredicate Predicate) | Merge.kif 3501-3501 | Pr�dicat quaternaire est une sous-classe de predicat |
(subclass QuaternaryPredicate QuaternaryRelation) | Merge.kif 3502-3502 | Pr�dicat quaternaire est une sous-classe de relation quaternaire |
appearance as argument number 2 |
antecedent |
(=> (instance ?REL QuaternaryPredicate) (valence ?REL 4)) |
Merge.kif 3508-3510 |
|