![]() |
![]() ![]() ![]()
|
![]() |
|
appearance as argument number 1 |
![]() |
(documentation TernaryRelation ChineseLanguage "TernaryRelation 连接三个项目, TernaryRelation 的两个 subclass 是 TernaryPredicate 和 BinaryFunction。") | chinese_format.kif 1946-1947 | |
(documentation TernaryRelation EnglishLanguage "TernaryRelations relate three items. The two subclasses of TernaryRelation are TernaryPredicate and BinaryFunction.") | Merge.kif 2785-2787 | |
(subclass TernaryRelation InheritableRelation) | Merge.kif 2783-2783 | |
(subclass TernaryRelation Relation) | Merge.kif 2782-2782 |
appearance as argument number 2 |
![]() |
appearance as argument number 3 |
![]() |
(disjointDecomposition Relation BinaryRelation TernaryRelation QuaternaryRelation QuintaryRelation VariableArityRelation) | Merge.kif 2100-2101 |
![]() |
![]() |