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 826-827
(documentation disjointDecomposition EnglishLanguage "A disjointDecomposition of a Class C is a set of subclasses of C that are mutually disjoint.") Merge.kif 823-824
(documentation disjointDecomposition JapaneseLanguage "Class C の disjointDecomposition は、相互に disjoint であるCのサブクラスのセットである。") Merge.kif 829-830
(documentation disjointDecomposition SpanishLanguage "Una disjointDecomposition de una Class C es un conjunto de las subclases de C que son mutuamente dijoint.") Merge.kif 832-833
(domain disjointDecomposition 1 Class) Merge.kif 818-818
(domain disjointDecomposition 2 Class) Merge.kif 819-819
(instance disjointDecomposition Predicate) Merge.kif 816-816
(instance disjointDecomposition VariableArityRelation) Merge.kif 817-817
(relatedInternalConcept disjointDecomposition disjoint) Merge.kif 821-821
(relatedInternalConcept disjointDecomposition exhaustiveDecomposition) Merge.kif 820-820

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 406-406
(format JapaneseLanguage disjointDecomposition "%1 は %*{2-}[,] に disjointly decomposed %n") english_format.kif 407-407
(termFormat ChineseLanguage disjointDecomposition "不相交分解") domainEnglishFormat.kif 19783-19783
(termFormat ChineseLanguage disjointDecomposition "不相交的分拆") chinese_format.kif 288-288
(termFormat ChineseTraditionalLanguage disjointDecomposition "不相交分解") domainEnglishFormat.kif 19782-19782
(termFormat EnglishLanguage disjointDecomposition "disjoint decomposition") domainEnglishFormat.kif 19781-19781

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


(=>
    (disjointDecomposition ?CLASS ?ROW1 ?ROW2 ?ROW3)
    (and
        (disjoint ?ROW1 ?ROW2)
        (disjoint ?ROW2 ?ROW3)
        (disjoint ?ROW3 ?ROW1)))
Merge.kif 4739-4744
(=>
    (disjointDecomposition ?CLASS @ROW)
    (forall (?ITEM)
        (=>
            (inList ?ITEM
                (ListFn @ROW))
            (subclass ?ITEM ?CLASS))))
Merge.kif 4721-4726
(=>
    (disjointDecomposition ?CLASS @ROW)
    (forall (?ITEM1 ?ITEM2)
        (=>
            (and
                (inList ?ITEM1
                    (ListFn @ROW))
                (inList ?ITEM2
                    (ListFn @ROW))
                (not
                    (equal ?ITEM1 ?ITEM2)))
            (disjoint ?ITEM1 ?ITEM2))))
Merge.kif 4728-4737
(=>
    (disjointDecomposition @ROW)
    (=>
        (inList ?ELEMENT
            (ListFn @ROW))
        (instance ?ELEMENT Class)))
Merge.kif 835-839

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


(<=>
    (partition @ROW)
    (and
        (exhaustiveDecomposition @ROW)
        (disjointDecomposition @ROW)))
Merge.kif 862-866

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


(disjointDecomposition Abstract Quantity Attribute SetOrClass Relation Proposition) Merge.kif 2693-2693
(disjointDecomposition Arthropod Arachnid Myriapod Insect Crustacean) Merge.kif 18958-18958
(disjointDecomposition ColdBloodedVertebrate Amphibian Fish Reptile) Merge.kif 18988-18988
(disjointDecomposition CommissionedOfficerRank FlagOfficerRank FieldGradeOfficerRank CompanyGradeRank) Military.kif 283-284
(disjointDecomposition ComputerStatus HostReady HostDown Booting) ComputingBrands.kif 3046-3046
(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 10549-10549
(disjointDecomposition GameArtifact GameBoard GamePiece) Mid-level-ontology.kif 14533-14533
(disjointDecomposition Invertebrate Worm Mollusk Arthropod) Merge.kif 18942-18942
(disjointDecomposition LAN BusNetwork StarNetwork RingNetwork) QoSontology.kif 37-37
(disjointDecomposition Language AnimalLanguage HumanLanguage ComputerLanguage) Merge.kif 2236-2236
(disjointDecomposition Mammal AquaticMammal HoofedMammal Marsupial Rodent Primate) Merge.kif 19029-19029
(disjointDecomposition NonCommissionedOfficerRank JuniorNCORank SeniorNCORank) Military.kif 306-306
(disjointDecomposition NonFloweringPlant Alga Fern Moss) Merge.kif 18831-18831
(disjointDecomposition Nutrient Protein Carbohydrate Vitamin) Merge.kif 19158-19158
(disjointDecomposition Phrase VerbPhrase NounPhrase PrepositionalPhrase) Merge.kif 19766-19766
(disjointDecomposition PowerGeneration FossilFuelPowerGeneration HydroElectricPowerGeneration NuclearPowerGeneration OtherSourcePowerGeneration) Economy.kif 2091-2091
(disjointDecomposition Primate Ape Monkey Hominid) Merge.kif 19090-19090
(disjointDecomposition Relation BinaryRelation TernaryRelation QuaternaryRelation QuintaryRelation VariableArityRelation) Merge.kif 3515-3516
(disjointDecomposition Residence PermanentResidence TemporaryResidence) Merge.kif 20290-20290
(disjointDecomposition Sentence Statement Supposition Question Request Order) Mid-level-ontology.kif 11849-11849
(disjointDecomposition Tissue Bone Muscle FatTissue) Merge.kif 19648-19648


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