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

Formal Language: 

KB Term:  Term intersection
English Word: 

Sigma KEE - QuintaryRelation

appearance as argument number 1

(documentation QuintaryRelation ChineseLanguage "QuintaryRelation 连接物个项目。 QuintaryRelation 的两个 subclassQuintaryPredicateQuaternaryFunction。") chinese_format.kif 1950-1951
(documentation QuintaryRelation EnglishLanguage "QuintaryRelations relate five items. The two subclasses of QuintaryRelation are QuintaryPredicate and QuaternaryFunction.") Merge.kif 2760-2762
(subclass QuintaryRelation InheritableRelation) Merge.kif 2758-2758 subclass QuintaryRelation and InheritableRelation
(subclass QuintaryRelation Relation) Merge.kif 2757-2757 subclass QuintaryRelation and Relation

appearance as argument number 2

(subclass QuaternaryFunction QuintaryRelation) Merge.kif 3217-3217 subclass QuaternaryFunction and QuintaryRelation
(subclass QuintaryPredicate QuintaryRelation) Merge.kif 3267-3267 subclass QuintaryPredicate and QuintaryRelation
(termFormat ChineseLanguage QuintaryRelation "五元关系") chinese_format.kif 912-912 termFormat ChineseLanguage, QuintaryRelation and "五元关系"
(termFormat EnglishLanguage QuintaryRelation "quintary relation") english_format.kif 1036-1036 termFormat EnglishLanguage, QuintaryRelation and "quintary relation"

appearance as argument number 5

(disjointDecomposition Relation BinaryRelation TernaryRelation QuaternaryRelation QuintaryRelation VariableArityRelation) Merge.kif 2067-2068 disjointDecomposition Relation, BinaryRelation, TernaryRelation, QuaternaryRelation, QuintaryRelation and VariableArityRelation

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