| appearance as argument number 1 |
|
| 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 | |
| (format FrenchLanguage disjointDecomposition "%1 est %n disjointement decompos� en %*{2-}[,]") | french_format.kif 166-166 | |
| (format ItalianLanguage disjointDecomposition "%1 è %n scomposto disgiuntivamente in %*{2-}[,]") | relations-it.txt 76-76 | |
| (format JapaneseLanguage disjointDecomposition "%1 は %*{2-}[,] に disjointly decomposed %n") | japanese_format.kif 1986-1986 | |
| (format PortugueseLanguage disjointDecomposition "%1 e' %n disjuntamente decomponivel em %*{2-}[,]") | portuguese_format.kif 118-118 | |
| (format cb disjointDecomposition "%1 %n ay magtunga sa %*{2-}[,]") | relations-cb.txt 110-110 | |
| (format cz disjointDecomposition "%1 %p{je} %n{nen�} disjointly decomposed into %*{2-}[,]") | relations-cz.txt 186-186 | |
| (format de disjointDecomposition "%1 wird zusammenhanglos auf %*{2-}[,] %n{nicht} disjunkt") | relations-de.txt 373-373 | |
| (format hi disjointDecomposition "%1 asanyukta ruupa se %*{2-}[,] men viyojita %n hai") | relations-hindi.txt 116-116 | |
| (format ro disjointDecomposition "%1 %n{nu} decomposed%t{se descompune} disjointly%t{disjunct} în %*{2-}[,]") | relations-ro.kif 186-186 | |
| (format sv disjointDecomposition "%1 är %n{inte} disjunkt nedbrutet till %*{2-}[,]") | relations-sv.txt 173-173 | |
| (format tg disjointDecomposition "%1 %n ay maghati sa %*{2-}[,]") | relations-tg.txt 168-168 | |
| (termFormat ChineseLanguage disjointDecomposition "不相交分解") | domainEnglishFormat.kif 19854-19854 | |
| (termFormat ChineseLanguage disjointDecomposition "不相交的分拆") | chinese_format.kif 288-288 | |
| (termFormat ChineseTraditionalLanguage disjointDecomposition "不相交分解") | domainEnglishFormat.kif 19853-19853 | |
| (termFormat EnglishLanguage disjointDecomposition "disjoint decomposition") | domainEnglishFormat.kif 19852-19852 | |
| (termFormat de disjointDecomposition "disjunkteAufspaltung") | terms-de.txt 116-116 | |
| (termFormat tg disjointDecomposition "pagkakahati") | relations-tg.txt 169-169 |
| 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 2968-2973 | |
| (=> (disjointDecomposition ?CLASS @ROW) (forall (?ITEM) (=> (inList ?ITEM (ListFn @ROW)) (subclass ?ITEM ?CLASS)))) |
Merge.kif 2950-2955 |
|
| (=> (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 | |
| (=> (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