Browsing Interface : Welcome guest : log in
Home |  Graph |  ]  KB:  Language:   

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - exhaustiveDecomposition
exhaustiveDecomposition

appearance as argument number 1
-------------------------


(documentation exhaustiveDecomposition ChineseLanguage "C ClassexhaustiveDecomposition 是C的一组子类别, 而C的每一个实例就是这个组内其中一个子类别的一个实例。按: 这并不一定是意会着这个组的单元都不相交 (可参考 partition - 一个 partition 是一个已列举尽 不相交的掏空成分。 ") Merge.kif 594-597
(documentation exhaustiveDecomposition EnglishLanguage "An exhaustiveDecomposition of a Class C is a set of subclasses of C such that every instance of C is an instance of one of the subclasses in the set. Note: this does not necessarily mean that the elements of the set are disjoint (see partition - a partition is a disjoint exhaustive decomposition).") Merge.kif 589-593
(domain exhaustiveDecomposition 1 Class) Merge.kif 586-586
(domain exhaustiveDecomposition 2 Class) Merge.kif 587-587
(instance exhaustiveDecomposition Predicate) Merge.kif 584-584
(instance exhaustiveDecomposition VariableArityRelation) Merge.kif 585-585
(relatedInternalConcept exhaustiveDecomposition partition) Merge.kif 588-588

appearance as argument number 2
-------------------------


(format ChineseLanguage exhaustiveDecomposition " %*{2-}[,] %n 涵盖 %1") chinese_format.kif 299-299
(format EnglishLanguage exhaustiveDecomposition "%1 is %n covered by %*{2-}[,]") english_format.kif 182-182
(format FrenchLanguage exhaustiveDecomposition "%1 est %n couvert par %*{2-}[,]") french_format.kif 172-172
(format ItalianLanguage exhaustiveDecomposition "%1 � %n coperto da %*{2-}[,]") relations-it.txt 101-101
(format PortugueseLanguage exhaustiveDecomposition "%1 e' %n coberto por %*{2-}[,]") portuguese_format.kif 124-124
(format ar exhaustiveDecomposition "%1 هو %n مَشْمُول بـ %*{2-}[']") arabic_format.kif 117-117
(format cz exhaustiveDecomposition "%1 %p{je} %n{nen�} covered by %*{2-}[,]") relations-cz.txt 185-185
(format de exhaustiveDecomposition "%1 wird mit %*{2-}[,] %n{nicht} behandelt") relations-de.txt 389-389
(format hi exhaustiveDecomposition "%1 %*{2-}[,] se aachchhaadita %n hai") relations-hindi.txt 141-141
(format tg exhaustiveDecomposition "%1 %n ay takpan ng %*{2-}[,]") relations-tg.txt 214-214
(relatedInternalConcept disjointDecomposition exhaustiveDecomposition) Merge.kif 609-609
(termFormat ChineseLanguage exhaustiveDecomposition "彻底的分拆") chinese_format.kif 300-300
(termFormat EnglishLanguage exhaustiveDecomposition "exhaustive decomposition") domainEnglishFormat.kif 4217-4217
(termFormat ar exhaustiveDecomposition "«مَشْمُول بـ»") arabic_format.kif 567-567

antecedent
-------------------------


(=>
    (exhaustiveDecomposition ?CLASS @ROW)
    (forall (?OBJ)
        (=>
            (instance ?OBJ ?CLASS)
            (exists (?ITEM)
                (and
                    (inList ?ITEM
                        (ListFn @ROW))
                    (instance ?OBJ ?ITEM))))))
Merge.kif 3123-3131
(=>
    (exhaustiveDecomposition @ROW)
    (=>
        (inList ?ELEMENT
            (ListFn @ROW))
        (instance ?ELEMENT Class)))
Merge.kif 599-603

consequent
-------------------------


(<=>
    (partition @ROW)
    (and
        (exhaustiveDecomposition @ROW)
        (disjointDecomposition @ROW)))
Merge.kif 633-637