exhaustiveDecomposition - Sigma Knowledge base Browser

appearance as argument number 1

(documentation exhaustiveDecomposition ChineseLanguage "C Class 的 exhaustiveDecomposition 是C的一组子类别，而C的每一个实例就是这个组内其中一个子类别的一个实例。按：这并不一定是意会着这个组的单元都不相交（可参考 partition - 一个 partition 是一个已列举尽不相交的掏空成分。 ")	chinese_format.kif 1511-1514
(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 552-556
(domain exhaustiveDecomposition 1 Class)	Merge.kif 548-548	domain exhaustiveDecomposition, 1 and Class
(domain exhaustiveDecomposition 2 Class)	Merge.kif 549-549	domain exhaustiveDecomposition, 2 and Class
(instance exhaustiveDecomposition Predicate)	Merge.kif 546-546	instance exhaustiveDecomposition and Predicate
(instance exhaustiveDecomposition VariableArityRelation)	Merge.kif 547-547	instance exhaustiveDecomposition and VariableArityRelation
(relatedInternalConcept exhaustiveDecomposition partition)	Merge.kif 550-550	relatedInternalConcept exhaustiveDecomposition and partition

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 307-307
(relatedInternalConcept disjointDecomposition exhaustiveDecomposition)	Merge.kif 568-568	relatedInternalConcept disjointDecomposition and exhaustiveDecomposition
(termFormat ChineseLanguage exhaustiveDecomposition "彻底分解")	domainEnglishFormat.kif 22699-22699
(termFormat ChineseLanguage exhaustiveDecomposition "彻底的分拆")	chinese_format.kif 300-300
(termFormat ChineseTraditionalLanguage exhaustiveDecomposition "徹底分解")	domainEnglishFormat.kif 22698-22698
(termFormat EnglishLanguage exhaustiveDecomposition "exhaustive decomposition")	domainEnglishFormat.kif 22697-22697

antecedent

(=> (exhaustiveDecomposition ?CLASS @ROW) (forall (?OBJ) (=> (instance ?OBJ ?CLASS) (exists (?ITEM) (and (inList ?ITEM (ListFn @ROW)) (instance ?OBJ ?ITEM))))))	Merge.kif 2829-2837	exhaustiveDecomposition Class and @ROW Entity instance Entity and Class SetOrClass inList SetOrClass and ListFn @ROW instance Entity and SetOrClass
(=> (exhaustiveDecomposition @ROW) (=> (inList ?ELEMENT (ListFn @ROW)) (instance ?ELEMENT Class)))	Merge.kif 558-562	exhaustiveDecomposition @ROW inList Entity and ListFn @ROW instance Entity and Class

consequent

(<=>
    (partition @ROW)
    (and
        (exhaustiveDecomposition @ROW)
        (disjointDecomposition @ROW)))

Merge.kif 590-594

appearance as argument number 0

(exhaustiveDecomposition UniformResourceIdentifier UniformResourceLocator UniformResourceName)	QoSontology.kif 1680-1680	exhaustiveDecomposition UniformResourceIdentifier, UniformResourceLocator and UniformResourceName
(exhaustiveDecomposition VacciniaVirion IntracellularMatureVirionVaccinia IntracellularEnvelopedVirionVaccinia ExtracellularEnvelopedVirionVaccinia ProgenyVacciniaVirusImmature)	VirusProteinAndCellPart.kif 149-149	exhaustiveDecomposition VacciniaVirion, IntracellularMatureVirionVaccinia, IntracellularEnvelopedVirionVaccinia, ExtracellularEnvelopedVirionVaccinia and ProgenyVacciniaVirusImmature