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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - MutuallyDisjointClass
MutuallyDisjointClass

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


(documentation MutuallyDisjointClass ChineseLanguage "一个 SetOrClassMutuallyDisjointClass, 以防并没有属于原来的 SetOrClass 所有实例相交的实例。") chinese_format.kif 2316-2317

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


(termFormat ChineseLanguage MutuallyDisjointClass "互不相交类") chinese_format.kif 1273-1273


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