| appearance as argument number 1 |
|
| (documentation disjoint ChineseLanguage "如果 Class 和 Class 之间没有共同案例的话， 那么它们 就是 disjoint，也就是以防万一应用 IntersectionFn 的时候出现空的的结果。") | chinese_format.kif 1500-1501 | |
| (documentation disjoint EnglishLanguage "Classes are disjoint only if they share no instances, i.e. just in case the result of applying IntersectionFn to them is empty.") | Merge.kif 397-399 | |
| (documentation disjoint JapaneseLanguage "Classes は、 インスタンスを共有しない場合のみ disjoint である。例えば、 IntersectionFn をそれらに適用した結果空の場合に備えて。") | japanese_format.kif 63-64 | |
| (documentation disjoint SpanishLanguage "Classes son disjoint sólo si no comparten instancias, por ejemplo, en el caso de aplicar IntersectionFn resulta que están vacías.") | spanish_format.kif 72-74 | |
| (domain disjoint 1 Class) | Merge.kif 395-395 | Die Zahl 1 Argument von disjunkt ist ein fall von Class %n{nicht} |
| (domain disjoint 2 Class) | Merge.kif 396-396 | Die Zahl 2 Argument von disjunkt ist ein fall von Class %n{nicht} |
| (instance disjoint BinaryPredicate) | Merge.kif 393-393 | disjunkt ist ein fall von BinaryPredicate %n{nicht} |
| (instance disjoint SymmetricRelation) | Merge.kif 394-394 | disjunkt ist ein fall von SymmetricRelation %n{nicht} |
| appearance as argument number 2 |
|
|
| (format ChineseLanguage disjoint "%1 和 % 2 %n 是 disjoint") | chinese_format.kif 285-285 | |
| (format EnglishLanguage disjoint "%1 is %n disjoint from %2") | english_format.kif 290-290 | |
| (format FrenchLanguage disjoint "%1 est %n disjoint de %2") | french_format.kif 165-165 | |
| (format ItalianLanguage disjoint "%1 è %n disgiunto da %2") | relations-it.txt 75-75 | |
| (format JapaneseLanguage disjoint "%1 と %2 は disjoint では %n") | japanese_format.kif 1985-1985 | |
| (format PortugueseLanguage disjoint "%1 e' %n disjunto de %2") | portuguese_format.kif 117-117 | |
| (format cb disjoint "%1 %n ay lahi sa %2") | relations-cb.txt 109-109 | |
| (format cz disjoint "%1 %p{je} %n{nen�} disjoint from %2") | relations-cz.txt 182-182 | |
| (format de disjoint "%1 ist dijunkt von %2 %n{nicht}") | relations-de.txt 370-370 | |
| (format hi disjoint "%1 %2 se asanyukta %n hai") | relations-hindi.txt 59-59 | |
| (format ro disjoint "%1 %n{nu} este disjoint%t{disjunct} faþã de %2") | relations-ro.kif 185-185 | |
| (format sv disjoint "%1 är %n{inte} disjunkt med %2") | relations-sv.txt 172-172 | |
| (format tg disjoint "%1 %n ay iba ng %2") | relations-tg.txt 166-166 | |
| (relatedInternalConcept disjointDecomposition disjoint) | Merge.kif 569-569 | disjunkteAufspaltung ist innerlich verwandt mit disjunkt %n{nicht} |
| (relatedInternalConcept disjointRelation disjoint) | Merge.kif 414-414 | disjunkteRelation ist innerlich verwandt mit disjunkt %n{nicht} |
| (termFormat ChineseLanguage disjoint "不相交") | chinese_format.kif 286-286 | |
| (termFormat ChineseLanguage disjoint "不相交的") | domainEnglishFormat.kif 19848-19848 | |
| (termFormat ChineseTraditionalLanguage disjoint "不相交的") | domainEnglishFormat.kif 19847-19847 | |
| (termFormat EnglishLanguage disjoint "disjoint") | domainEnglishFormat.kif 19846-19846 | |
| (termFormat de disjoint "disjunkt") | terms-de.txt 115-115 | |
| (termFormat tg disjoint "iba") | relations-tg.txt 167-167 |
| antecedent |
|
|
| (=> (and (domain ?REL1 ?NUMBER ?CLASS1) (domain ?REL2 ?NUMBER ?CLASS2) (disjoint ?CLASS1 ?CLASS2)) (disjointRelation ?REL1 ?REL2)) |
Merge.kif 419-424 |
|
| (=> (and (domainSubclass ?REL1 ?NUMBER ?CLASS1) (domainSubclass ?REL2 ?NUMBER ?CLASS2) (disjoint ?CLASS1 ?CLASS2)) (disjointRelation ?REL1 ?REL2)) |
Merge.kif 426-431 |
|
| (=> (and (range ?REL1 ?CLASS1) (range ?REL2 ?CLASS2) (disjoint ?CLASS1 ?CLASS2)) (disjointRelation ?REL1 ?REL2)) |
Merge.kif 433-438 |
|
| (=> (and (rangeSubclass ?REL1 ?CLASS1) (rangeSubclass ?REL2 ?CLASS2) (disjoint ?CLASS1 ?CLASS2)) (disjointRelation ?REL1 ?REL2)) |
Merge.kif 440-445 |
|
| (=> (disjoint ?CLASS1 ?CLASS2) (not (exists (?INST) (and (instance ?INST ?CLASS1) (instance ?INST ?CLASS2))))) |
Merge.kif 401-407 |
| consequent |
|
|
| (=> (disjointDecomposition ?CLASS ?ROW1 ?ROW2 ?ROW3) (and (disjoint ?ROW1 ?ROW2) (disjoint ?ROW2 ?ROW3) (disjoint ?ROW3 ?ROW1))) |
Merge.kif 2968-2973 |
|
| (=> (disjointDecomposition ?CLASS @ROW) (forall (?ITEM1 ?ITEM2) (=> (and (inList ?ITEM1 (ListFn @ROW)) (inList ?ITEM2 (ListFn @ROW)) (not (equal ?ITEM1 ?ITEM2))) (disjoint ?ITEM1 ?ITEM2)))) |
Merge.kif 2957-2966 |
|
| appearance as argument number 0 |
|
|
|
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