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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - PairwiseDisjointClass
PairwiseDisjointClass

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


(documentation PairwiseDisjointClass ChineseLanguage "一个 SetOrClassPairwiseDisjointClass 以防这个 SetOrClass 的每一个实例和 SetOrClass 中其他任何一个实例是 equal 或者是 disjoint 关系。") chinese_format.kif 2313-2315
(documentation PairwiseDisjointClass JapaneseLanguage "SetOrClass は、SetOrClass のすべ てのインスタンスが SetOrClass の他のすべてのインスタンスに対して equal または disjoint で ある場合に備えて、PairwiseDisjointClass である。") japanese_format.kif 986-988

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


(termFormat ChineseLanguage PairwiseDisjointClass "俩俩不交类") chinese_format.kif 1272-1272
(termFormat FrenchLanguage PairwiseDisjointClass "classe disjoint par paire") french_format.kif 950-950
(termFormat Hindi PairwiseDisjointClass "yugmataH asambaddha samUha") terms-hindi.txt 485-485
(termFormat ItalianLanguage PairwiseDisjointClass "ClasseDisgiuntaACoppie") terms-it.txt 489-489
(termFormat JapaneseLanguage PairwiseDisjointClass "互いに素で、どの2要素も交わらない") japanese_format.kif 2634-2634
(termFormat PortugueseLanguage PairwiseDisjointClass "Classe disjunta em pares") portuguese_format.kif 902-902
(termFormat cz PairwiseDisjointClass "pairwise disjoint class") terms-cz.txt 525-525
(termFormat ro PairwiseDisjointClass "clasã cu elemente disjuncte douã câte douã") relations-ro.kif 971-971
(termFormat tg PairwiseDisjointClass "") terms-tg.txt 490-490


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