TreeView Knowledge Base Browser - disjointDecomposition

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

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

antecedent

(=> (and (exhaustiveDecomposition @ROW) (disjointDecomposition @ROW)) (partition @ROW))	Merge.kif 596-600	exhaustiveDecomposition @ROW disjointDecomposition @ROW partition @ROW
(=> (disjointDecomposition ?CLASS ?ROW1 ?ROW2 ?ROW3) (and (disjoint ?ROW1 ?ROW2) (disjoint ?ROW2 ?ROW3) (disjoint ?ROW3 ?ROW1)))	Merge.kif 2902-2907	disjointDecomposition Class, Class, Class and Class disjoint Class and Class disjoint Class and Class disjoint Class and Class
(=> (disjointDecomposition ?CLASS @ROW) (forall (?ITEM) (=> (inList ?ITEM (ListFn @ROW)) (subclass ?ITEM ?CLASS))))	Merge.kif 2884-2889	disjointDecomposition Class and @ROW Class inList Class and ListFn @ROW subclass Class and Class
(=> (disjointDecomposition ?CLASS @ROW) (forall (?ITEM1 ?ITEM2) (=> (and (inList ?ITEM1 (ListFn @ROW)) (inList ?ITEM2 (ListFn @ROW)) (not (equal ?ITEM1 ?ITEM2))) (disjoint ?ITEM1 ?ITEM2))))	Merge.kif 2891-2900	disjointDecomposition Class and @ROW Class Class inList Class and ListFn @ROW inList Class and ListFn @ROW equal Class and Class disjoint Class and Class
(=> (disjointDecomposition @ROW) (=> (inList ?ELEMENT (ListFn @ROW)) (instance ?ELEMENT Class)))	Merge.kif 574-578	disjointDecomposition @ROW inList Entity and ListFn @ROW instance Entity and Class

consequent

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

Merge.kif 590-594

partition @ROW
exhaustiveDecomposition @ROW disjointDecomposition @ROW

appearance as argument number 0

(disjointDecomposition Abstract Quantity Attribute Relation Proposition List)	Merge.kif 1616-1616	disjointDecomposition Abstract, Quantity, Attribute, Relation, Proposition and List
(disjointDecomposition Arthropod Arachnid Myriapod Insect Crustacean)	Merge.kif 14264-14264	disjointDecomposition Arthropod, Arachnid, Myriapod, Insect and Crustacean
(disjointDecomposition ColdBloodedVertebrate Amphibian Fish Reptile)	Merge.kif 14286-14286	disjointDecomposition ColdBloodedVertebrate, Amphibian, Fish and Reptile
(disjointDecomposition CommissionedOfficerRank FlagOfficerRank FieldGradeOfficerRank CompanyGradeRank)	Military.kif 283-284	disjointDecomposition CommissionedOfficerRank, FlagOfficerRank, FieldGradeOfficerRank and CompanyGradeRank
(disjointDecomposition ComputerStatus HostReady HostDown Booting)	ComputingBrands.kif 3183-3183	disjointDecomposition ComputerStatus, HostReady, HostDown and 起動
(disjointDecomposition DifferentialEquation FirstOrderDifferentialEquation HigherOrderDifferentialEquation)	engineering.kif 179-179	disjointDecomposition DifferentialEquation, FirstOrderDifferentialEquation and HigherOrderDifferentialEquation
(disjointDecomposition DifferentialEquation OrdinaryDifferentialEquation PartialDifferentialEquation)	engineering.kif 189-189	disjointDecomposition DifferentialEquation, OrdinaryDifferentialEquation and PartialDifferentialEquation
(disjointDecomposition EnlistedSoldierRank PrivateRank NonCommissionedOfficerRank)	Military.kif 269-269	disjointDecomposition EnlistedSoldierRank, PrivateRank and NonCommissionedOfficerRank
(disjointDecomposition Expressing ExpressingApproval ExpressingDisapproval)	Mid-level-ontology.kif 12409-12409	disjointDecomposition Expressing, ExpressingApproval and ExpressingDisapproval
(disjointDecomposition GameArtifact GameBoard GamePiece)	Mid-level-ontology.kif 16420-16420	disjointDecomposition GameArtifact, GameBoard and GamePiece
(disjointDecomposition Invertebrate Worm Mollusk Arthropod)	Merge.kif 14243-14243	disjointDecomposition Invertebrate, Worm, Mollusk and Arthropod
(disjointDecomposition LAN BusNetwork StarNetwork RingNetwork)	QoSontology.kif 37-37	disjointDecomposition LAN, BusNetwork, StarNetwork and RingNetwork
(disjointDecomposition Language AnimalLanguage HumanLanguage ComputerLanguage)	Merge.kif 1352-1352	disjointDecomposition Language, AnimalLanguage, HumanLanguage and ComputerLanguage
(disjointDecomposition Mammal AquaticMammal HoofedMammal Marsupial Rodent Primate)	Merge.kif 14320-14320	disjointDecomposition Mammal, AquaticMammal, HoofedMammal, Marsupial, Rodent and Primate
(disjointDecomposition NonCommissionedOfficerRank JuniorNCORank SeniorNCORank)	Military.kif 306-306	disjointDecomposition NonCommissionedOfficerRank, JuniorNCORank and SeniorNCORank
(disjointDecomposition NonFloweringPlant Alga Fern Moss)	Merge.kif 14149-14149	disjointDecomposition NonFloweringPlant, Alga, Fern and Moss
(disjointDecomposition Nutrient Protein Carbohydrate Vitamin)	Merge.kif 14421-14421	disjointDecomposition Nutrient, Protein, Carbohydrate and Vitamin
(disjointDecomposition Phrase VerbPhrase NounPhrase PrepositionalPhrase)	Merge.kif 15033-15033	disjointDecomposition Phrase, VerbPhrase, NounPhrase and PrepositionalPhrase
(disjointDecomposition PowerGeneration FossilFuelPowerGeneration HydroElectricPowerGeneration NuclearPowerGeneration OtherSourcePowerGeneration)	Economy.kif 2098-2098	disjointDecomposition PowerGeneration, FossilFuelPowerGeneration, HydroElectricPowerGeneration, NuclearPowerGeneration and OtherSourcePowerGeneration
(disjointDecomposition Primate Ape Monkey Hominid)	Merge.kif 14366-14366	disjointDecomposition Primate, Ape, Monkey and Hominid
(disjointDecomposition Relation BinaryRelation TernaryRelation QuaternaryRelation QuintaryRelation VariableArityRelation)	Merge.kif 2106-2107	disjointDecomposition Relation, BinaryRelation, TernaryRelation, QuaternaryRelation, QuintaryRelation and VariableArityRelation
(disjointDecomposition Residence PermanentResidence TemporaryResidence)	Merge.kif 15508-15508	disjointDecomposition Residence, PermanentResidence and TemporaryResidence
(disjointDecomposition Sentence Statement Supposition Question Request Order)	Mid-level-ontology.kif 13701-13701	disjointDecomposition Sentence, Statement, Supposition, Question, Request and Order
(disjointDecomposition Tissue ConnectiveTissue MuscleTissue NervousTissue EpithelialTissue)	Merge.kif 14860-14860	disjointDecomposition Tissue, ConnectiveTissue, MuscleTissue, NervousTissue and EpithelialTissue

Show simplified definition (without tree view)
Show simplified definition (with tree view)

KB Term:			Term intersection

English Word: