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 564-565
(documentation disjointDecomposition JapaneseLanguage "Class C の disjointDecomposition は、相互に disjoint であるCのサブクラスのセットである。")	japanese_format.kif 80-81
(documentation disjointDecomposition SpanishLanguage "Una disjointDecomposition de una Class C es un conjunto de las subclases de C que son mutuamente dijoint.")	spanish_format.kif 92-93
(domain disjointDecomposition 1 Class)	Merge.kif 559-559	The number 1 argument of disjoint decomposition is an instance of class
(domain disjointDecomposition 2 Class)	Merge.kif 560-560	The number 2 argument of disjoint decomposition is an instance of class
(instance disjointDecomposition Predicate)	Merge.kif 557-557	disjoint decomposition is an instance of predicate
(instance disjointDecomposition VariableArityRelation)	Merge.kif 558-558	disjoint decomposition is an instance of variable arity relation
(relatedInternalConcept disjointDecomposition disjoint)	Merge.kif 562-562	disjoint decomposition is internally related to disjoint
(relatedInternalConcept disjointDecomposition exhaustiveDecomposition)	Merge.kif 561-561	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
(format FrenchLanguage disjointDecomposition "%1 est %n disjointement decompos� en %*{2-}[,]")	french_format.kif 166-166
(format ItalianLanguage disjointDecomposition "%1 è %n scomposto disgiuntivamente in %*{2-}[,]")	relations-it.txt 76-76
(format JapaneseLanguage disjointDecomposition "%1 は %*{2-}[,] に disjointly decomposed %n")	japanese_format.kif 1986-1986
(format PortugueseLanguage disjointDecomposition "%1 e' %n disjuntamente decomponivel em %*{2-}[,]")	portuguese_format.kif 118-118
(format cb disjointDecomposition "%1 %n ay magtunga sa %*{2-}[,]")	relations-cb.txt 110-110
(format cz disjointDecomposition "%1 %p{je} %n{nen�} disjointly decomposed into %*{2-}[,]")	relations-cz.txt 186-186
(format de disjointDecomposition "%1 wird zusammenhanglos auf %*{2-}[,] %n{nicht} disjunkt")	relations-de.txt 373-373
(format hi disjointDecomposition "%1 asanyukta ruupa se %*{2-}[,] men viyojita %n hai")	relations-hindi.txt 116-116
(format ro disjointDecomposition "%1 %n{nu} decomposed%t{se descompune} disjointly%t{disjunct} în %*{2-}[,]")	relations-ro.kif 186-186
(format sv disjointDecomposition "%1 är %n{inte} disjunkt nedbrutet till %*{2-}[,]")	relations-sv.txt 173-173
(format tg disjointDecomposition "%1 %n ay maghati sa %*{2-}[,]")	relations-tg.txt 168-168
(termFormat ChineseLanguage disjointDecomposition "不相交分解")	domainEnglishFormat.kif 19863-19863
(termFormat ChineseLanguage disjointDecomposition "不相交的分拆")	chinese_format.kif 288-288
(termFormat ChineseTraditionalLanguage disjointDecomposition "不相交分解")	domainEnglishFormat.kif 19862-19862
(termFormat EnglishLanguage disjointDecomposition "disjoint decomposition")	domainEnglishFormat.kif 19861-19861
(termFormat de disjointDecomposition "disjunkteAufspaltung")	terms-de.txt 116-116
(termFormat tg disjointDecomposition "pagkakahati")	relations-tg.txt 169-169

antecedent

(=> (and (exhaustiveDecomposition @ROW) (disjointDecomposition @ROW)) (partition @ROW))	Merge.kif 589-593	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 2981-2986	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 2963-2968	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 2970-2979	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 equal the third class and the fourth class, then the third class is disjoint from the fourth class
(=> (disjointDecomposition @ROW) (=> (inList ?ELEMENT (ListFn @ROW)) (instance ?ELEMENT Class)))	Merge.kif 567-571	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 583-587

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 1680-1680	Abstract is disjointly decomposed into quantity, attribute, relation, proposition, and list
(disjointDecomposition Arthropod Arachnid Myriapod Insect Crustacean)	Merge.kif 14678-14678	Arthropod is disjointly decomposed into arachnid, myriapod, insect, and crustacean
(disjointDecomposition ColdBloodedVertebrate Amphibian Fish Reptile)	Merge.kif 14700-14700	Cold blooded vertebrate is disjointly decomposed into amphibian, fish, and reptile
(disjointDecomposition CommissionedOfficerRank FlagOfficerRank FieldGradeOfficerRank CompanyGradeRank)	Military.kif 360-361	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 3211-3211	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 346-346	Enlisted soldier rank is disjointly decomposed into private rank and non commissioned officer rank
(disjointDecomposition Expressing ExpressingApproval ExpressingDisapproval)	Mid-level-ontology.kif 14275-14275	Expressing is disjointly decomposed into expressing approval and expressing disapproval
(disjointDecomposition GameArtifact GameBoard GamePiece)	Mid-level-ontology.kif 18364-18364	Game artifact is disjointly decomposed into game board and game piece
(disjointDecomposition Invertebrate Worm Mollusk Arthropod)	Merge.kif 14657-14657	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 1416-1416	Language is disjointly decomposed into animal language, human language, and computer language
(disjointDecomposition Mammal AquaticMammal HoofedMammal Marsupial Rodent Primate)	Merge.kif 14734-14734	Mammal is disjointly decomposed into aquatic mammal, hoofed mammal, marsupial, rodent, and primate
(disjointDecomposition NSAID Aspirin Ibuprofen Acetaminophen)	Medicine.kif 3506-3506	Non-steriodal anti-inflammatory is disjointly decomposed into aspirin, ibuprofen, and paracetamol
(disjointDecomposition NonCommissionedOfficerRank JuniorNCORank SeniorNCORank)	Military.kif 383-383	Non commissioned officer rank is disjointly decomposed into juniorNCO rank and seniorNCO rank
(disjointDecomposition NonFloweringPlant Alga Fern Moss)	Merge.kif 14563-14563	Non flowering plant is disjointly decomposed into alga, fern, and moss
(disjointDecomposition Nutrient Protein Carbohydrate Vitamin)	Merge.kif 14835-14835	Nutrient is disjointly decomposed into protein, carbohydrate, and vitamin
(disjointDecomposition Phrase VerbPhrase NounPhrase PrepositionalPhrase)	Merge.kif 15455-15455	Phrase is disjointly decomposed into verb phrase, noun phrase, and prepositional phrase
(disjointDecomposition PowerGeneration FossilFuelPowerGeneration HydroElectricPowerGeneration NuclearPowerGeneration OtherSourcePowerGeneration)	Economy.kif 2327-2327	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 14780-14780	Primate is disjointly decomposed into ape, monkey, and hominid
(disjointDecomposition Relation BinaryRelation TernaryRelation QuaternaryRelation QuintaryRelation VariableArityRelation)	Merge.kif 2171-2172	Relation is disjointly decomposed into binary relation, ternary relation, quaternary relation, quintary relation, and variable arity relation
(disjointDecomposition Residence PermanentResidence TemporaryResidence)	Merge.kif 15927-15927	Residence is disjointly decomposed into permanent residence and temporary residence
(disjointDecomposition Sentence Statement Supposition Question Request Order)	Mid-level-ontology.kif 15602-15602	Sentence is disjointly decomposed into statement, supposition, question, request, and order
(disjointDecomposition Tissue ConnectiveTissue MuscleTissue NervousTissue EpithelialTissue)	Merge.kif 15278-15278	Tissue is disjointly decomposed into connective tissue, muscle tissue, nervous tissue, and epithelial tissue

Display limited to 25 items. Show next 25

Display limited to 25 items. Show next 25

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: