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 573-574
(domain disjointDecomposition 1 Class)	Merge.kif 568-568	The number 1 argument of disjoint decomposition is an instance of class
(domain disjointDecomposition 2 Class)	Merge.kif 569-569	The number 2 argument of disjoint decomposition is an instance of class
(instance disjointDecomposition Predicate)	Merge.kif 566-566	disjoint decomposition is an instance of predicate
(instance disjointDecomposition VariableArityRelation)	Merge.kif 567-567	disjoint decomposition is an instance of variable arity relation
(relatedInternalConcept disjointDecomposition disjoint)	Merge.kif 571-571	disjoint decomposition is internally related to disjoint
(relatedInternalConcept disjointDecomposition exhaustiveDecomposition)	Merge.kif 570-570	disjoint decomposition is internally related to exhaustive decomposition

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 598-602	If @ROW is covered by @ROW and @ROW is disjointly decomposed into @ROW, then @ROW is exhaustively partitioned into @ROW
(=> (disjointDecomposition ?CLASS ?ROW1 ?ROW2 ?ROW3) (and (disjoint ?ROW1 ?ROW2) (disjoint ?ROW2 ?ROW3) (disjoint ?ROW3 ?ROW1)))	Merge.kif 2904-2909	If a class is disjointly decomposed into another class, a third class, and a fourth class, then the other class is disjoint from the third class and the third class is disjoint from the fourth class and the fourth class is disjoint from the other class
(=> (disjointDecomposition ?CLASS @ROW) (forall (?ITEM) (=> (inList ?ITEM (ListFn @ROW)) (subclass ?ITEM ?CLASS))))	Merge.kif 2886-2891	If a class is disjointly decomposed into @ROW, then for all a third class if the third class is a member of (@ROW), then the third class is a subclass of the 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 2893-2902	If a class is disjointly decomposed into @ROW, then for all a third class and a fourth class if the third class is a member of (@ROW) and the fourth class is a member of (@ROW) and the third class is not equal to the fourth class, then the third class is disjoint from the fourth class
(=> (disjointDecomposition @ROW) (=> (inList ?ELEMENT (ListFn @ROW)) (instance ?ELEMENT Class)))	Merge.kif 576-580	If @ROW is disjointly decomposed into @ROW, then if another entity is a member of (@ROW), then the other entity is an instance of class

consequent

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

Merge.kif 592-596

If @ROW is exhaustively partitioned into @ROW,
then @ROW is covered by @ROW and @ROW is disjointly decomposed into @ROW

appearance as argument number 0

(disjointDecomposition Abstract Quantity Attribute Relation Proposition List)	Merge.kif 1618-1618	Abstract is disjointly decomposed into quantity, attribute, relation, proposition, and list
(disjointDecomposition Arthropod Arachnid Myriapod Insect Crustacean)	Merge.kif 14280-14280	Arthropod is disjointly decomposed into arachnid, myriapod, insect, and crustacean
(disjointDecomposition ColdBloodedVertebrate Amphibian Fish Reptile)	Merge.kif 14302-14302	Cold blooded vertebrate is disjointly decomposed into amphibian, fish, and reptile
(disjointDecomposition CommissionedOfficerRank FlagOfficerRank FieldGradeOfficerRank CompanyGradeRank)	Military.kif 283-284	Commissioned officer rank is disjointly decomposed into flag officer rank, field grade officer rank, and company grade rank
(disjointDecomposition ComputerStatus HostReady HostDown Booting)	ComputingBrands.kif 3183-3183	Computer status is disjointly decomposed into host ready, host down, and booting up
(disjointDecomposition DifferentialEquation FirstOrderDifferentialEquation HigherOrderDifferentialEquation)	engineering.kif 179-179	Differential equation is disjointly decomposed into first order differential equation and higher order differential equation
(disjointDecomposition DifferentialEquation OrdinaryDifferentialEquation PartialDifferentialEquation)	engineering.kif 189-189	Differential equation is disjointly decomposed into ordinary differential equation and partial differential equation
(disjointDecomposition EnlistedSoldierRank PrivateRank NonCommissionedOfficerRank)	Military.kif 269-269	Enlisted soldier rank is disjointly decomposed into private rank and non commissioned officer rank
(disjointDecomposition Expressing ExpressingApproval ExpressingDisapproval)	Mid-level-ontology.kif 12464-12464	Expressing is disjointly decomposed into expressing approval and expressing disapproval
(disjointDecomposition GameArtifact GameBoard GamePiece)	Mid-level-ontology.kif 16471-16471	Game artifact is disjointly decomposed into game board and game piece
(disjointDecomposition Invertebrate Worm Mollusk Arthropod)	Merge.kif 14259-14259	Invertebrate is disjointly decomposed into worm, mollusk, and arthropod
(disjointDecomposition LAN BusNetwork StarNetwork RingNetwork)	QoSontology.kif 37-37	LAN is disjointly decomposed into bus network, star network, and ring network
(disjointDecomposition Language AnimalLanguage HumanLanguage ComputerLanguage)	Merge.kif 1354-1354	Language is disjointly decomposed into animal language, human language, and computer language
(disjointDecomposition Mammal AquaticMammal HoofedMammal Marsupial Rodent Primate)	Merge.kif 14336-14336	Mammal is disjointly decomposed into aquatic mammal, hoofed mammal, marsupial, rodent, and primate
(disjointDecomposition NonCommissionedOfficerRank JuniorNCORank SeniorNCORank)	Military.kif 306-306	Non commissioned officer rank is disjointly decomposed into juniorNCO rank and seniorNCO rank
(disjointDecomposition NonFloweringPlant Alga Fern Moss)	Merge.kif 14165-14165	Non flowering plant is disjointly decomposed into alga, fern, and moss
(disjointDecomposition Nutrient Protein Carbohydrate Vitamin)	Merge.kif 14437-14437	Nutrient is disjointly decomposed into protein, carbohydrate, and vitamin
(disjointDecomposition Phrase VerbPhrase NounPhrase PrepositionalPhrase)	Merge.kif 15048-15048	Phrase is disjointly decomposed into verb phrase, noun phrase, and PrepositionalPhrase
(disjointDecomposition PowerGeneration FossilFuelPowerGeneration HydroElectricPowerGeneration NuclearPowerGeneration OtherSourcePowerGeneration)	Economy.kif 2098-2098	Power generation is disjointly decomposed into fossil fuel power generation, hydro electric power generation, nuclear power generation, and other source power generation
(disjointDecomposition Primate Ape Monkey Hominid)	Merge.kif 14382-14382	Primate is disjointly decomposed into ape, monkey, and hominid
(disjointDecomposition Relation BinaryRelation TernaryRelation QuaternaryRelation QuintaryRelation VariableArityRelation)	Merge.kif 2108-2109	Relation is disjointly decomposed into binary relation, ternary relation, quaternary relation, quintary relation, and variable arity relation
(disjointDecomposition Residence PermanentResidence TemporaryResidence)	Merge.kif 15523-15523	Residence is disjointly decomposed into permanent residence and temporary residence
(disjointDecomposition Sentence Statement Supposition Question Request Order)	Mid-level-ontology.kif 13750-13750	Sentence is disjointly decomposed into statement, supposition, question, request, and order
(disjointDecomposition Tissue ConnectiveTissue MuscleTissue NervousTissue EpithelialTissue)	Merge.kif 14876-14876	Tissue is disjointly decomposed into connective tissue, MuscleTissue, nervous tissue, and epithelial tissue

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: