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
(domain disjointDecomposition 2 Class)	Merge.kif 560-560
(instance disjointDecomposition Predicate)	Merge.kif 557-557
(instance disjointDecomposition VariableArityRelation)	Merge.kif 558-558
(relatedInternalConcept disjointDecomposition disjoint)	Merge.kif 562-562
(relatedInternalConcept disjointDecomposition exhaustiveDecomposition)	Merge.kif 561-561

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
(=> (disjointDecomposition ?CLASS ?ROW1 ?ROW2 ?ROW3) (and (disjoint ?ROW1 ?ROW2) (disjoint ?ROW2 ?ROW3) (disjoint ?ROW3 ?ROW1)))	Merge.kif 2966-2971
(=> (disjointDecomposition ?CLASS @ROW) (forall (?ITEM) (=> (inList ?ITEM (ListFn @ROW)) (subclass ?ITEM ?CLASS))))	Merge.kif 2948-2953
(=> (disjointDecomposition ?CLASS @ROW) (forall (?ITEM1 ?ITEM2) (=> (and (inList ?ITEM1 (ListFn @ROW)) (inList ?ITEM2 (ListFn @ROW)) (not (equal ?ITEM1 ?ITEM2))) (disjoint ?ITEM1 ?ITEM2))))	Merge.kif 2955-2964
(=> (disjointDecomposition @ROW) (=> (inList ?ELEMENT (ListFn @ROW)) (instance ?ELEMENT Class)))	Merge.kif 567-571

consequent

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

Merge.kif 583-587

appearance as argument number 0

(disjointDecomposition Abstract Quantity Attribute Relation Proposition List)	Merge.kif 1665-1665
(disjointDecomposition Arthropod Arachnid Myriapod Insect Crustacean)	Merge.kif 14663-14663
(disjointDecomposition ColdBloodedVertebrate Amphibian Fish Reptile)	Merge.kif 14685-14685
(disjointDecomposition CommissionedOfficerRank FlagOfficerRank FieldGradeOfficerRank CompanyGradeRank)	Military.kif 360-361
(disjointDecomposition ComputerStatus HostReady HostDown Booting)	ComputingBrands.kif 3211-3211
(disjointDecomposition DifferentialEquation FirstOrderDifferentialEquation HigherOrderDifferentialEquation)	engineering.kif 179-179
(disjointDecomposition DifferentialEquation OrdinaryDifferentialEquation PartialDifferentialEquation)	engineering.kif 189-189
(disjointDecomposition EnlistedSoldierRank PrivateRank NonCommissionedOfficerRank)	Military.kif 346-346
(disjointDecomposition Expressing ExpressingApproval ExpressingDisapproval)	Mid-level-ontology.kif 14275-14275
(disjointDecomposition GameArtifact GameBoard GamePiece)	Mid-level-ontology.kif 18364-18364
(disjointDecomposition Invertebrate Worm Mollusk Arthropod)	Merge.kif 14642-14642
(disjointDecomposition LAN BusNetwork StarNetwork RingNetwork)	QoSontology.kif 37-37
(disjointDecomposition Language AnimalLanguage HumanLanguage ComputerLanguage)	Merge.kif 1401-1401
(disjointDecomposition Mammal AquaticMammal HoofedMammal Marsupial Rodent Primate)	Merge.kif 14719-14719
(disjointDecomposition NSAID Aspirin Ibuprofen Acetaminophen)	Medicine.kif 3506-3506
(disjointDecomposition NonCommissionedOfficerRank JuniorNCORank SeniorNCORank)	Military.kif 383-383
(disjointDecomposition NonFloweringPlant Alga Fern Moss)	Merge.kif 14548-14548
(disjointDecomposition Nutrient Protein Carbohydrate Vitamin)	Merge.kif 14820-14820
(disjointDecomposition Phrase VerbPhrase NounPhrase PrepositionalPhrase)	Merge.kif 15440-15440
(disjointDecomposition PowerGeneration FossilFuelPowerGeneration HydroElectricPowerGeneration NuclearPowerGeneration OtherSourcePowerGeneration)	Economy.kif 2327-2327
(disjointDecomposition Primate Ape Monkey Hominid)	Merge.kif 14765-14765
(disjointDecomposition Relation BinaryRelation TernaryRelation QuaternaryRelation QuintaryRelation VariableArityRelation)	Merge.kif 2156-2157
(disjointDecomposition Residence PermanentResidence TemporaryResidence)	Merge.kif 15912-15912
(disjointDecomposition Sentence Statement Supposition Question Request Order)	Mid-level-ontology.kif 15602-15602
(disjointDecomposition Tissue ConnectiveTissue MuscleTissue NervousTissue EpithelialTissue)	Merge.kif 15263-15263

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: