| appearance as argument number 1 |
|
| (documentation disjointDecomposition ChineseLanguage "C Class 的 disjointDecomposition 是C的一组相互 disjoint 的子类别。") | chinese_format.kif 1515-1516 | |
| (documentation disjointDecomposition EnglishLanguage "A disjointDecomposition of a Class C is a set of subclasses of C that are mutually disjoint.") | Merge.kif 571-572 | |
| (domain disjointDecomposition 1 Class) | Merge.kif 566-566 | 不相交的分拆 的 1 数量 是 类 的 instance |
| (domain disjointDecomposition 2 Class) | Merge.kif 567-567 | 不相交的分拆 的 2 数量 是 类 的 instance |
| (instance disjointDecomposition Predicate) | Merge.kif 564-564 | 不相交的分拆 是 谓语 的 instance |
| (instance disjointDecomposition VariableArityRelation) | Merge.kif 565-565 | 不相交的分拆 是 不定次元关系 的 instance |
| (relatedInternalConcept disjointDecomposition disjoint) | Merge.kif 569-569 | 不相交的分拆 和 不相交 是 内部相关 |
| (relatedInternalConcept disjointDecomposition exhaustiveDecomposition) | Merge.kif 568-568 | 不相交的分拆 和 彻底的分拆 是 内部相关 |
| appearance as argument number 2 |
|
|
| (format ChineseLanguage disjointDecomposition "%1 %n 分拆成不相交的 %*{2-}[,]") | chinese_format.kif 287-287 | |
| (format EnglishLanguage disjointDecomposition "%1 is %n disjointly decomposed into %*{2-}[,]") | english_format.kif 292-292 | |
| (termFormat ChineseLanguage disjointDecomposition "不相交分解") | domainEnglishFormat.kif 19840-19840 | |
| (termFormat ChineseLanguage disjointDecomposition "不相交的分拆") | chinese_format.kif 288-288 | |
| (termFormat ChineseTraditionalLanguage disjointDecomposition "不相交分解") | domainEnglishFormat.kif 19839-19839 | |
| (termFormat EnglishLanguage disjointDecomposition "disjoint decomposition") | domainEnglishFormat.kif 19838-19838 |
| antecedent |
|
|
| (=> (and (exhaustiveDecomposition @ROW) (disjointDecomposition @ROW)) (partition @ROW)) |
Merge.kif 596-600 |
|
| (=> (disjointDecomposition ?CLASS ?ROW1 ?ROW2 ?ROW3) (and (disjoint ?ROW1 ?ROW2) (disjoint ?ROW2 ?ROW3) (disjoint ?ROW3 ?ROW1))) |
Merge.kif 2945-2950 | |
| (=> (disjointDecomposition ?CLASS @ROW) (forall (?ITEM) (=> (inList ?ITEM (ListFn @ROW)) (subclass ?ITEM ?CLASS)))) |
Merge.kif 2927-2932 | |
| (=> (disjointDecomposition ?CLASS @ROW) (forall (?ITEM1 ?ITEM2) (=> (and (inList ?ITEM1 (ListFn @ROW)) (inList ?ITEM2 (ListFn @ROW)) (not (equal ?ITEM1 ?ITEM2))) (disjoint ?ITEM1 ?ITEM2)))) |
Merge.kif 2934-2943 | |
| (=> (disjointDecomposition @ROW) (=> (inList ?ELEMENT (ListFn @ROW)) (instance ?ELEMENT Class))) |
Merge.kif 574-578 |
| consequent |
|
|
| (=> (partition @ROW) (and (exhaustiveDecomposition @ROW) (disjointDecomposition @ROW))) |
Merge.kif 590-594 |
|
| 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