| appearance as argument number 1 |
|
| (documentation PairwiseDisjointClass ChineseLanguage "一个 SetOrClass 是 PairwiseDisjointClass 以防这个 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