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 2830-2832
(subclass QuintaryRelation InheritableRelation) Merge.kif 2828-2828 五元关系可继承的关系subclass
(subclass QuintaryRelation Relation) Merge.kif 2827-2827 五元关系关系subclass

appearance as argument number 2

(instance shortage QuintaryRelation) Mid-level-ontology.kif 30797-30797 shortage五元关系instance
(subclass QuaternaryFunction QuintaryRelation) Merge.kif 3421-3421 四元函数五元关系subclass
(subclass QuintaryPredicate QuintaryRelation) Merge.kif 3471-3471 五元谓语五元关系subclass
(termFormat ChineseLanguage QuintaryRelation "五元关系") chinese_format.kif 912-912
(termFormat EnglishLanguage QuintaryRelation "quintary relation") english_format.kif 1031-1031

appearance as argument number 5

(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