Browsing Interface : Welcome guest : log in
Home |  Graph |  ]  KB:  Language:   

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - QuaternaryRelation
QuaternaryRelation(四元关系)

appearance as argument number 1
-------------------------


(documentation QuaternaryRelation ChineseLanguage "QuaternaryRelation 连接四个项目。 QuaternaryRelation 的两个 subclassQuaternaryPredicateTernaryFunction。") chinese_format.kif 1948-1949
(documentation QuaternaryRelation EnglishLanguage "QuaternaryRelations relate four items. The two subclasses of QuaternaryRelation are QuaternaryPredicate and TernaryFunction.") Merge.kif 2753-2755
(subclass QuaternaryRelation InheritableRelation) Merge.kif 2751-2751 四元关系可继承的关系subclass
(subclass QuaternaryRelation Relation) Merge.kif 2750-2750 四元关系关系subclass

appearance as argument number 2
-------------------------


(subclass QuaternaryPredicate QuaternaryRelation) Merge.kif 3346-3346 四元谓语四元关系subclass
(subclass TernaryFunction QuaternaryRelation) Merge.kif 3296-3296 三元函数四元关系subclass
(termFormat ChineseLanguage QuaternaryRelation "四元关系") chinese_format.kif 911-911
(termFormat EnglishLanguage QuaternaryRelation "quaternary relation") english_format.kif 1034-1034

appearance as argument number 4
-------------------------


(disjointDecomposition Relation BinaryRelation TernaryRelation QuaternaryRelation QuintaryRelation VariableArityRelation) Merge.kif 2068-2069 关系 分拆成不相交的 二元关系, 三元关系, 四元关系, 五元关系, 和 不定次元关系


Show full definition with tree view
Show simplified definition (without tree view)
Show simplified definition (with tree view)



Sigma web home      Suggested Upper Merged Ontology (SUMO) web home
Sigma version 2.99c (>= 2017/11/20) is open source software produced by Articulate Software and its partners