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

Formal Language: 



KB Term:  Term intersection
English Word: 

  QuaternaryRelation

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 2793-2795
(subclass QuaternaryRelation InheritableRelation) Merge.kif 2791-2791
(subclass QuaternaryRelation Relation) Merge.kif 2790-2790

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


(subclass QuaternaryPredicate QuaternaryRelation) Merge.kif 3424-3424
(subclass TernaryFunction QuaternaryRelation) Merge.kif 3374-3374
(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 2107-2108


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

Show without tree


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