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

Formal Language: 



KB Term:  Term intersection
English Word: 

  disjointDecomposition

Sigma KEE - disjointDecomposition
disjointDecomposition

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


(documentation disjointDecomposition ChineseLanguage "C ClassdisjointDecomposition 是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 2 Class) Merge.kif 567-567
(instance disjointDecomposition Predicate) Merge.kif 564-564
(instance disjointDecomposition VariableArityRelation) Merge.kif 565-565
(relatedInternalConcept disjointDecomposition disjoint) Merge.kif 569-569
(relatedInternalConcept disjointDecomposition exhaustiveDecomposition) Merge.kif 568-568

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
(=>
    (disjointDecomposition ?CLASS ?ROW1 ?ROW2 ?ROW3)
    (and
        (disjoint ?ROW1 ?ROW2)
        (disjoint ?ROW2 ?ROW3)
        (disjoint ?ROW3 ?ROW1)))
Merge.kif 2896-2901
(=>
    (disjointDecomposition ?CLASS @ROW)
    (forall (?ITEM)
        (=>
            (inList ?ITEM
                (ListFn @ROW))
            (subclass ?ITEM ?CLASS))))
Merge.kif 2878-2883
(=>
    (disjointDecomposition ?CLASS @ROW)
    (forall (?ITEM1 ?ITEM2)
        (=>
            (and
                (inList ?ITEM1
                    (ListFn @ROW))
                (inList ?ITEM2
                    (ListFn @ROW))
                (not
                    (equal ?ITEM1 ?ITEM2)))
            (disjoint ?ITEM1 ?ITEM2))))
Merge.kif 2885-2894
(=>
    (disjointDecomposition @ROW)
    (=>
        (inList ?ELEMENT
            (ListFn @ROW))
        (instance ?ELEMENT Class)))
Merge.kif 574-578

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


(=>
    (partition @ROW)
    (and
        (exhaustiveDecomposition @ROW)
        (disjointDecomposition @ROW)))
Merge.kif 590-594

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


(disjointDecomposition Abstract Quantity Attribute Relation Proposition List) Merge.kif 1610-1610
(disjointDecomposition Arthropod Arachnid Myriapod Insect Crustacean) Merge.kif 14257-14257
(disjointDecomposition ColdBloodedVertebrate Amphibian Fish Reptile) Merge.kif 14279-14279
(disjointDecomposition CommissionedOfficerRank FlagOfficerRank FieldGradeOfficerRank CompanyGradeRank) Military.kif 283-284
(disjointDecomposition ComputerStatus HostReady HostDown Booting) ComputingBrands.kif 3183-3183
(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 12405-12405
(disjointDecomposition GameArtifact GameBoard GamePiece) Mid-level-ontology.kif 16396-16396
(disjointDecomposition Invertebrate Worm Mollusk Arthropod) Merge.kif 14236-14236
(disjointDecomposition LAN BusNetwork StarNetwork RingNetwork) QoSontology.kif 37-37
(disjointDecomposition Language AnimalLanguage HumanLanguage ComputerLanguage) Merge.kif 1346-1346
(disjointDecomposition Mammal AquaticMammal HoofedMammal Marsupial Rodent Primate) Merge.kif 14313-14313
(disjointDecomposition NonCommissionedOfficerRank JuniorNCORank SeniorNCORank) Military.kif 306-306
(disjointDecomposition NonFloweringPlant Alga Fern Moss) Merge.kif 14142-14142
(disjointDecomposition Nutrient Protein Carbohydrate Vitamin) Merge.kif 14414-14414
(disjointDecomposition Phrase VerbPhrase NounPhrase PrepositionalPhrase) Merge.kif 15020-15020
(disjointDecomposition PowerGeneration FossilFuelPowerGeneration HydroElectricPowerGeneration NuclearPowerGeneration OtherSourcePowerGeneration) Economy.kif 2098-2098
(disjointDecomposition Primate Ape Monkey Hominid) Merge.kif 14359-14359
(disjointDecomposition Relation BinaryRelation TernaryRelation QuaternaryRelation QuintaryRelation VariableArityRelation) Merge.kif 2100-2101
(disjointDecomposition Residence PermanentResidence TemporaryResidence) Merge.kif 15495-15495
(disjointDecomposition Sentence Statement Supposition Question Request Order) Mid-level-ontology.kif 13697-13697
(disjointDecomposition Tissue ConnectiveTissue MuscleTissue NervousTissue EpithelialTissue) Merge.kif 14853-14853


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

Show without tree


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