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 的子类别。") 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 572-573
(domain disjointDecomposition 1 Class) Merge.kif 567-567 domain disjointDecomposition, 1 and Class
(domain disjointDecomposition 2 Class) Merge.kif 568-568 domain disjointDecomposition, 2 and Class
(instance disjointDecomposition Predicate) Merge.kif 565-565 instance disjointDecomposition and Predicate
(instance disjointDecomposition VariableArityRelation) Merge.kif 566-566 instance disjointDecomposition and VariableArityRelation
(relatedInternalConcept disjointDecomposition disjoint) Merge.kif 570-570 relatedInternalConcept disjointDecomposition and disjoint
(relatedInternalConcept disjointDecomposition exhaustiveDecomposition) Merge.kif 569-569 relatedInternalConcept disjointDecomposition and exhaustiveDecomposition

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 295-295
(termFormat ChineseLanguage disjointDecomposition "不相交分解") domainEnglishFormat.kif 19783-19783 termFormat ChineseLanguage, disjointDecomposition and "不相交分解"
(termFormat ChineseLanguage disjointDecomposition "不相交的分拆") chinese_format.kif 288-288 termFormat ChineseLanguage, disjointDecomposition and "不相交的分拆"
(termFormat ChineseTraditionalLanguage disjointDecomposition "不相交分解") domainEnglishFormat.kif 19782-19782 termFormat ChineseTraditionalLanguage, disjointDecomposition and "不相交分解"
(termFormat EnglishLanguage disjointDecomposition "disjoint decomposition") domainEnglishFormat.kif 19781-19781 termFormat EnglishLanguage, disjointDecomposition and "disjoint decomposition"

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


(=>
    (disjointDecomposition ?CLASS ?ROW1 ?ROW2 ?ROW3)
    (and
        (disjoint ?ROW1 ?ROW2)
        (disjoint ?ROW2 ?ROW3)
        (disjoint ?ROW3 ?ROW1)))
Merge.kif 2857-2862
(=>
    (disjointDecomposition ?CLASS @ROW)
    (forall (?ITEM)
        (=>
            (inList ?ITEM
                (ListFn @ROW))
            (subclass ?ITEM ?CLASS))))
Merge.kif 2839-2844
(=>
    (disjointDecomposition ?CLASS @ROW)
    (forall (?ITEM1 ?ITEM2)
        (=>
            (and
                (inList ?ITEM1
                    (ListFn @ROW))
                (inList ?ITEM2
                    (ListFn @ROW))
                (not
                    (equal ?ITEM1 ?ITEM2)))
            (disjoint ?ITEM1 ?ITEM2))))
Merge.kif 2846-2855
(=>
    (disjointDecomposition @ROW)
    (=>
        (inList ?ELEMENT
            (ListFn @ROW))
        (instance ?ELEMENT Class)))
Merge.kif 575-579

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


(<=>
    (partition @ROW)
    (and
        (exhaustiveDecomposition @ROW)
        (disjointDecomposition @ROW)))
Merge.kif 591-595 partition @ROW exhaustiveDecomposition @ROW disjointDecomposition @ROW

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


(disjointDecomposition Abstract Quantity Attribute SetOrClass Relation Proposition) Merge.kif 1577-1577 disjointDecomposition Abstract, Quantity, Attribute, SetOrClass, Relation and Proposition
(disjointDecomposition Arthropod Arachnid Myriapod Insect Crustacean) Merge.kif 13363-13363 disjointDecomposition Arthropod, Arachnid, Myriapod, Insect and Crustacean
(disjointDecomposition ColdBloodedVertebrate Amphibian Fish Reptile) Merge.kif 13385-13385 disjointDecomposition ColdBloodedVertebrate, Amphibian, Fish and Reptile
(disjointDecomposition CommissionedOfficerRank FlagOfficerRank FieldGradeOfficerRank CompanyGradeRank) Military.kif 283-284 disjointDecomposition CommissionedOfficerRank, FlagOfficerRank, FieldGradeOfficerRank and CompanyGradeRank
(disjointDecomposition ComputerStatus HostReady HostDown Booting) ComputingBrands.kif 3205-3205 disjointDecomposition ComputerStatus, HostReady, HostDown and 起動
(disjointDecomposition DifferentialEquation FirstOrderDifferentialEquation HigherOrderDifferentialEquation) engineering.kif 179-179 disjointDecomposition DifferentialEquation, FirstOrderDifferentialEquation and HigherOrderDifferentialEquation
(disjointDecomposition DifferentialEquation OrdinaryDifferentialEquation PartialDifferentialEquation) engineering.kif 189-189 disjointDecomposition DifferentialEquation, OrdinaryDifferentialEquation and PartialDifferentialEquation
(disjointDecomposition EnlistedSoldierRank PrivateRank NonCommissionedOfficerRank) Military.kif 269-269 disjointDecomposition EnlistedSoldierRank, PrivateRank and NonCommissionedOfficerRank
(disjointDecomposition Expressing ExpressingApproval ExpressingDisapproval) Mid-level-ontology.kif 10553-10553 disjointDecomposition Expressing, ExpressingApproval and ExpressingDisapproval
(disjointDecomposition GameArtifact GameBoard GamePiece) Mid-level-ontology.kif 14532-14532 disjointDecomposition GameArtifact, GameBoard and GamePiece
(disjointDecomposition Invertebrate Worm Mollusk Arthropod) Merge.kif 13351-13351 disjointDecomposition Invertebrate, Worm, Mollusk and Arthropod
(disjointDecomposition LAN BusNetwork StarNetwork RingNetwork) QoSontology.kif 37-37 disjointDecomposition LAN, BusNetwork, StarNetwork and RingNetwork
(disjointDecomposition Language AnimalLanguage HumanLanguage ComputerLanguage) Merge.kif 1292-1292 disjointDecomposition Language, AnimalLanguage, HumanLanguage and ComputerLanguage
(disjointDecomposition Mammal AquaticMammal HoofedMammal Marsupial Rodent Primate) Merge.kif 13419-13419 disjointDecomposition Mammal, AquaticMammal, HoofedMammal, Marsupial, Rodent and Primate
(disjointDecomposition NonCommissionedOfficerRank JuniorNCORank SeniorNCORank) Military.kif 306-306 disjointDecomposition NonCommissionedOfficerRank, JuniorNCORank and SeniorNCORank
(disjointDecomposition NonFloweringPlant Alga Fern Moss) Merge.kif 13257-13257 disjointDecomposition NonFloweringPlant, Alga, Fern and Moss
(disjointDecomposition Nutrient Protein Carbohydrate Vitamin) Merge.kif 13520-13520 disjointDecomposition Nutrient, Protein, Carbohydrate and Vitamin
(disjointDecomposition Phrase VerbPhrase NounPhrase PrepositionalPhrase) Merge.kif 14030-14030 disjointDecomposition Phrase, VerbPhrase, NounPhrase and PrepositionalPhrase
(disjointDecomposition PowerGeneration FossilFuelPowerGeneration HydroElectricPowerGeneration NuclearPowerGeneration OtherSourcePowerGeneration) Economy.kif 2091-2091 disjointDecomposition PowerGeneration, FossilFuelPowerGeneration, HydroElectricPowerGeneration, NuclearPowerGeneration and OtherSourcePowerGeneration
(disjointDecomposition Primate Ape Monkey Hominid) Merge.kif 13465-13465 disjointDecomposition Primate, Ape, Monkey and Hominid
(disjointDecomposition Relation BinaryRelation TernaryRelation QuaternaryRelation QuintaryRelation VariableArityRelation) Merge.kif 2067-2068 disjointDecomposition Relation, BinaryRelation, TernaryRelation, QuaternaryRelation, QuintaryRelation and VariableArityRelation
(disjointDecomposition Residence PermanentResidence TemporaryResidence) Merge.kif 14505-14505 disjointDecomposition Residence, PermanentResidence and TemporaryResidence
(disjointDecomposition Sentence Statement Supposition Question Request Order) Mid-level-ontology.kif 11853-11853 disjointDecomposition Sentence, Statement, Supposition, Question, Request and Order
(disjointDecomposition Tissue Bone Muscle FatTissue) Merge.kif 13933-13933 disjointDecomposition Tissue, Bone, Muscle and FatTissue


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