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 2823-2825
(subclass QuaternaryRelation InheritableRelation) Merge.kif 2821-2821 四元关系可继承的关系subclass
(subclass QuaternaryRelation Relation) Merge.kif 2820-2820 四元关系关系subclass

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


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

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


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


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 3.0 is open source software produced by Articulate Software and its partners