disjointDecomposition - Sigma Knowledge base Browser

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 572-573
(domain disjointDecomposition 1 Class)	Merge.kif 567-567
(domain disjointDecomposition 2 Class)	Merge.kif 568-568
(instance disjointDecomposition Predicate)	Merge.kif 565-565
(instance disjointDecomposition VariableArityRelation)	Merge.kif 566-566
(relatedInternalConcept disjointDecomposition disjoint)	Merge.kif 570-570
(relatedInternalConcept disjointDecomposition exhaustiveDecomposition)	Merge.kif 569-569

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 295-295
(termFormat ChineseLanguage disjointDecomposition "不相交分解")	domainEnglishFormat.kif 19786-19786
(termFormat ChineseLanguage disjointDecomposition "不相交的分拆")	chinese_format.kif 288-288
(termFormat ChineseTraditionalLanguage disjointDecomposition "不相交分解")	domainEnglishFormat.kif 19785-19785
(termFormat EnglishLanguage disjointDecomposition "disjoint decomposition")	domainEnglishFormat.kif 19784-19784

antecedent

(=> (disjointDecomposition ?CLASS ?ROW1 ?ROW2 ?ROW3) (and (disjoint ?ROW1 ?ROW2) (disjoint ?ROW2 ?ROW3) (disjoint ?ROW3 ?ROW1)))	Merge.kif 2862-2867
(=> (disjointDecomposition ?CLASS @ROW) (forall (?ITEM) (=> (inList ?ITEM (ListFn @ROW)) (subclass ?ITEM ?CLASS))))	Merge.kif 2844-2849
(=> (disjointDecomposition ?CLASS @ROW) (forall (?ITEM1 ?ITEM2) (=> (and (inList ?ITEM1 (ListFn @ROW)) (inList ?ITEM2 (ListFn @ROW)) (not (equal ?ITEM1 ?ITEM2))) (disjoint ?ITEM1 ?ITEM2))))	Merge.kif 2851-2860
(=> (disjointDecomposition @ROW) (=> (inList ?ELEMENT (ListFn @ROW)) (instance ?ELEMENT Class)))	Merge.kif 575-579

consequent

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

Merge.kif 591-595

appearance as argument number 0

(disjointDecomposition Abstract Quantity Attribute SetOrClass Relation Proposition List)	Merge.kif 1579-1579
(disjointDecomposition Arthropod Arachnid Myriapod Insect Crustacean)	Merge.kif 13501-13501
(disjointDecomposition ColdBloodedVertebrate Amphibian Fish Reptile)	Merge.kif 13523-13523
(disjointDecomposition CommissionedOfficerRank FlagOfficerRank FieldGradeOfficerRank CompanyGradeRank)	Military.kif 283-284
(disjointDecomposition ComputerStatus HostReady HostDown Booting)	ComputingBrands.kif 3203-3203
(disjointDecomposition DifferentialEquation FirstOrderDifferentialEquation HigherOrderDifferentialEquation)	engineering.kif 179-179
(disjointDecomposition DifferentialEquation OrdinaryDifferentialEquation PartialDifferentialEquation)	engineering.kif 189-189
(disjointDecomposition EnlistedSoldierRank PrivateRank NonCommissionedOfficerRank)	Military.kif 269-269
(disjointDecomposition Expressing ExpressingApproval ExpressingDisapproval)	Mid-level-ontology.kif 10581-10581
(disjointDecomposition GameArtifact GameBoard GamePiece)	Mid-level-ontology.kif 14560-14560
(disjointDecomposition Invertebrate Worm Mollusk Arthropod)	Merge.kif 13489-13489
(disjointDecomposition LAN BusNetwork StarNetwork RingNetwork)	QoSontology.kif 37-37
(disjointDecomposition Language AnimalLanguage HumanLanguage ComputerLanguage)	Merge.kif 1291-1291
(disjointDecomposition Mammal AquaticMammal HoofedMammal Marsupial Rodent Primate)	Merge.kif 13557-13557
(disjointDecomposition NonCommissionedOfficerRank JuniorNCORank SeniorNCORank)	Military.kif 306-306
(disjointDecomposition NonFloweringPlant Alga Fern Moss)	Merge.kif 13395-13395
(disjointDecomposition Nutrient Protein Carbohydrate Vitamin)	Merge.kif 13658-13658
(disjointDecomposition Phrase VerbPhrase NounPhrase PrepositionalPhrase)	Merge.kif 14168-14168
(disjointDecomposition PowerGeneration FossilFuelPowerGeneration HydroElectricPowerGeneration NuclearPowerGeneration OtherSourcePowerGeneration)	Economy.kif 2091-2091
(disjointDecomposition Primate Ape Monkey Hominid)	Merge.kif 13603-13603
(disjointDecomposition Relation BinaryRelation TernaryRelation QuaternaryRelation QuintaryRelation VariableArityRelation)	Merge.kif 2073-2074
(disjointDecomposition Residence PermanentResidence TemporaryResidence)	Merge.kif 14643-14643
(disjointDecomposition Sentence Statement Supposition Question Request Order)	Mid-level-ontology.kif 11881-11881
(disjointDecomposition Tissue Bone Muscle FatTissue)	Merge.kif 14071-14071

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

KB Term:			Term intersection

English Word: