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
(documentation MutuallyDisjointClass JapaneseLanguage "SetOrClass は、元の SetOrClass のすべてのインスタンスのインスタンスが存在しない場合に備えて、 MutuallyDisjointClass である。") japanese_format.kif 989-990

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


(termFormat ChineseLanguage MutuallyDisjointClass "互不相交类") chinese_format.kif 1273-1273
(termFormat FrenchLanguage MutuallyDisjointClass "classe mutuellement disjoint") french_format.kif 951-951
(termFormat Hindi MutuallyDisjointClass "paarasparika asambaddha samUha") terms-hindi.txt 486-486
(termFormat ItalianLanguage MutuallyDisjointClass "ClasseMutualmenteDisgiunta") terms-it.txt 490-490
(termFormat JapaneseLanguage MutuallyDisjointClass "互いに素で、どの2要素も交わらない") japanese_format.kif 2635-2635
(termFormat PortugueseLanguage MutuallyDisjointClass "Classe Mutualmente disjunta") portuguese_format.kif 903-903
(termFormat cz MutuallyDisjointClass "mutually disjoint class") terms-cz.txt 526-526
(termFormat ro MutuallyDisjointClass "clasã cu elemente unice") relations-ro.kif 972-972
(termFormat tg MutuallyDisjointClass "Pare-parehong hiwalay na klase") terms-tg.txt 491-491


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