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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - QuintaryRelation
QuintaryRelation(quintary relation)

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


s__documentation(s__QuintaryRelation,s__ChineseLanguage,'"QuintaryRelation 连接物个项目。 QuintaryRelation 的两个 subclassQuintaryPredicateQuaternaryFunction。"')

chinese_format.kif 1950-1951
s__documentation(s__QuintaryRelation,s__EnglishLanguage,'"QuintaryRelations relate five items. The two subclasses of QuintaryRelation are QuintaryPredicate and QuaternaryFunction."')

Merge.kif 2800-2802
s__subclass(s__QuintaryRelation,s__InheritableRelation)

s__instance(s__InheritableRelation,s__Class)

s__instance(s__QuintaryRelation,s__Class)

Merge.kif 2798-2798 Quintary relation is a subclass of inheritable relation
s__subclass(s__QuintaryRelation,s__Relation)

s__instance(s__QuintaryRelation,s__Class)

s__instance(s__Relation,s__Class)

Merge.kif 2797-2797 Quintary relation is a subclass of relation

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


s__instance(s__QuintaryRelation,s__Class)

s__instance(s__shortage__m,s__QuintaryRelation)

Mid-level-ontology.kif 30114-30114 shortage is an instance of quintary relation
s__instance(s__QuaternaryFunction,s__Class)

s__subclass(s__QuaternaryFunction,s__QuintaryRelation)

s__instance(s__QuintaryRelation,s__Class)

Merge.kif 3385-3385 Quaternary function is a subclass of quintary relation
s__subclass(s__QuintaryPredicate,s__QuintaryRelation)

s__instance(s__QuintaryRelation,s__Class)

s__instance(s__QuintaryPredicate,s__Class)

Merge.kif 3435-3435 Quintary predicate is a subclass of quintary relation
s__termFormat(s__ChineseLanguage,s__QuintaryRelation,'"五元关系"')

chinese_format.kif 912-912
s__termFormat(s__EnglishLanguage,s__QuintaryRelation,'"quintary relation"')

english_format.kif 1031-1031

appearance as argument number 5
-------------------------


s__disjointDecomposition__6(s__Relation,s__BinaryRelation,s__TernaryRelation,s__QuaternaryRelation,s__QuintaryRelation,s__VariableArityRelation)

Merge.kif 2107-2108 Relation is disjointly decomposed into binary relation, ternary relation, quaternary relation, quintary relation, and variable arity relation


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