MutuallyDisjointClass
|
|
appearance as argument number 1 |
(documentation MutuallyDisjointClass ChineseLanguage "一个 SetOrClass 实 MutuallyDisjointClass, 以防并没有属于原来的 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 |