Browsing Interface : Welcome guest : log in
Home |  Graph |  ]  KB:  Language:   

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - disjointDecomposition
disjointDecomposition

appearance as argument number 1
-------------------------


(documentation disjointDecomposition ChineseLanguage "C ClassdisjointDecomposition 是C的一组相互 disjoint 的子类别。") Merge.kif 613-614
(documentation disjointDecomposition EnglishLanguage "A disjointDecomposition of a Class C is a set of subclasses of C that are mutually disjoint.") Merge.kif 611-612
(domain disjointDecomposition 1 Class) Merge.kif 607-607
(domain disjointDecomposition 2 Class) Merge.kif 608-608
(instance disjointDecomposition Predicate) Merge.kif 605-605
(instance disjointDecomposition VariableArityRelation) Merge.kif 606-606
(relatedInternalConcept disjointDecomposition disjoint) Merge.kif 610-610
(relatedInternalConcept disjointDecomposition exhaustiveDecomposition) Merge.kif 609-609

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 176-176
(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 PortugueseLanguage disjointDecomposition "%1 e' %n disjuntamente decomponivel em %*{2-}[,]") portuguese_format.kif 118-118
(format ar disjointDecomposition "%1 هو %n بِشَكْل مُنْفَصِل مُتَحَلِّل إلى %*{2-}[']") arabic_format.kif 111-111
(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 tg disjointDecomposition "%1 %n ay maghati sa %*{2-}[,]") relations-tg.txt 168-168
(termFormat ChineseLanguage disjointDecomposition "不相交的分拆") chinese_format.kif 288-288
(termFormat EnglishLanguage disjointDecomposition "disjoint decomposition") domainEnglishFormat.kif 3730-3730
(termFormat ar disjointDecomposition "«بِشَكْل مُنْفَصِل مُتَحَلِّل إلى»") arabic_format.kif 561-561
(termFormat tg disjointDecomposition "pagkakahati") relations-tg.txt 169-169

antecedent
-------------------------


(=>
    (disjointDecomposition ?CLASS ?ROW1 ?ROW2 ?ROW3)
    (and
        (disjoint ?ROW1 ?ROW2)
        (disjoint ?ROW2 ?ROW3)
        (disjoint ?ROW3 ?ROW1)))
Merge.kif 3151-3156
(=>
    (disjointDecomposition ?CLASS @ROW)
    (forall (?ITEM)
        (=>
            (inList ?ITEM
                (ListFn @ROW))
            (subclass ?ITEM ?CLASS))))
Merge.kif 3133-3138
(=>
    (disjointDecomposition ?CLASS @ROW)
    (forall (?ITEM1 ?ITEM2)
        (=>
            (and
                (inList ?ITEM1
                    (ListFn @ROW))
                (inList ?ITEM2
                    (ListFn @ROW))
                (not
                    (equal ?ITEM1 ?ITEM2)))
            (disjoint ?ITEM1 ?ITEM2))))
Merge.kif 3140-3149
(=>
    (disjointDecomposition @ROW)
    (=>
        (inList ?ELEMENT
            (ListFn @ROW))
        (instance ?ELEMENT Class)))
Merge.kif 616-620

consequent
-------------------------


(<=>
    (partition @ROW)
    (and
        (exhaustiveDecomposition @ROW)
        (disjointDecomposition @ROW)))
Merge.kif 633-637

appearance as argument number 0
-------------------------


(disjointDecomposition Abstract Quantity Attribute SetOrClass Relation Proposition) Merge.kif 1710-1710
(disjointDecomposition Arthropod Arachnid Myriapod Insect Crustacean) Merge.kif 14528-14528
(disjointDecomposition ColdBloodedVertebrate Amphibian Fish Reptile) Merge.kif 14558-14558
(disjointDecomposition CommissionedOfficerRank FlagOfficerRank FieldGradeOfficerRank CompanyGradeRank) Military.kif 283-284
(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 10548-10548
(disjointDecomposition GameArtifact GameBoard GamePiece) Mid-level-ontology.kif 14532-14532
(disjointDecomposition Invertebrate Worm Mollusk Arthropod) Merge.kif 14512-14512
(disjointDecomposition LAN BusNetwork StarNetwork RingNetwork) QoSontology.kif 37-37
(disjointDecomposition Language AnimalLanguage HumanLanguage ComputerLanguage) Merge.kif 1427-1427
(disjointDecomposition Mammal AquaticMammal HoofedMammal Marsupial Rodent Primate) Merge.kif 14599-14599
(disjointDecomposition NonCommissionedOfficerRank JuniorNCORank SeniorNCORank) Military.kif 306-306
(disjointDecomposition NonFloweringPlant Alga Fern Moss) Merge.kif 14401-14401
(disjointDecomposition Nutrient Protein Carbohydrate Vitamin) Merge.kif 14728-14728
(disjointDecomposition Phrase VerbPhrase NounPhrase PrepositionalPhrase) Merge.kif 15336-15336
(disjointDecomposition PowerGeneration FossilFuelPowerGeneration HydroElectricPowerGeneration NuclearPowerGeneration OtherSourcePowerGeneration) Economy.kif 2091-2091
(disjointDecomposition Primate Ape Monkey Hominid) Merge.kif 14660-14660
(disjointDecomposition Relation BinaryRelation TernaryRelation QuaternaryRelation QuintaryRelation VariableArityRelation) Merge.kif 2266-2267
(disjointDecomposition Residence PermanentResidence TemporaryResidence) Merge.kif 15860-15860
(disjointDecomposition Sentence Statement Supposition Question Request Order) Mid-level-ontology.kif 11848-11848
(disjointDecomposition Tissue Bone Muscle FatTissue) Merge.kif 15218-15218


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 2.99c (>= 2017/11/20) is open source software produced by Articulate Software and its partners