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 625-626
(documentation disjointDecomposition EnglishLanguage "A disjointDecomposition of a Class C is a set of subclasses of C that are mutually disjoint.") Merge.kif 623-624
(domain disjointDecomposition 1 Class) Merge.kif 619-619 The number 1 argument of disjoint decomposition is an instance of class
(domain disjointDecomposition 2 Class) Merge.kif 620-620 The number 2 argument of disjoint decomposition is an instance of class
(instance disjointDecomposition Predicate) Merge.kif 617-617 disjoint decomposition is an instance of predicate
(instance disjointDecomposition VariableArityRelation) Merge.kif 618-618 disjoint decomposition is an instance of variable arity relation
(relatedInternalConcept disjointDecomposition disjoint) Merge.kif 622-622 disjoint decomposition is internally related to disjoint
(relatedInternalConcept disjointDecomposition exhaustiveDecomposition) Merge.kif 621-621 disjoint decomposition is internally related to exhaustive decomposition

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
(termFormat ChineseLanguage disjointDecomposition "不相交的分拆") chinese_format.kif 288-288 "不相交的分拆" is the printable form of disjoint decomposition in ChineseLanguage
(termFormat EnglishLanguage disjointDecomposition "disjoint decomposition") domainEnglishFormat.kif 3730-3730 "disjoint decomposition" is the printable form of disjoint decomposition in english language

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


(=>
    (disjointDecomposition ?CLASS ?ROW1 ?ROW2 ?ROW3)
    (and
        (disjoint ?ROW1 ?ROW2)
        (disjoint ?ROW2 ?ROW3)
        (disjoint ?ROW3 ?ROW1)))
Merge.kif 3164-3169
(=>
    (disjointDecomposition ?CLASS @ROW)
    (forall (?ITEM)
        (=>
            (inList ?ITEM
                (ListFn @ROW))
            (subclass ?ITEM ?CLASS))))
Merge.kif 3146-3151
(=>
    (disjointDecomposition ?CLASS @ROW)
    (forall (?ITEM1 ?ITEM2)
        (=>
            (and
                (inList ?ITEM1
                    (ListFn @ROW))
                (inList ?ITEM2
                    (ListFn @ROW))
                (not
                    (equal ?ITEM1 ?ITEM2)))
            (disjoint ?ITEM1 ?ITEM2))))
Merge.kif 3153-3162
(=>
    (disjointDecomposition @ROW)
    (=>
        (inList ?ELEMENT
            (ListFn @ROW))
        (instance ?ELEMENT Class)))
Merge.kif 628-632

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


(<=>
    (partition @ROW)
    (and
        (exhaustiveDecomposition @ROW)
        (disjointDecomposition @ROW)))
Merge.kif 645-649 @ROW is exhaustively partitioned into @ROW if and only if @ROW is covered by @ROW and @ROW is disjointly decomposed into @ROW

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


(disjointDecomposition Abstract Quantity Attribute SetOrClass Relation Proposition) Merge.kif 1722-1722 Abstract is disjointly decomposed into quantity, attribute, set or class, relation, and proposition
(disjointDecomposition Arthropod Arachnid Myriapod Insect Crustacean) Merge.kif 14586-14586 Arthropod is disjointly decomposed into arachnid, myriapod, insect, and crustacean
(disjointDecomposition ColdBloodedVertebrate Amphibian Fish Reptile) Merge.kif 14616-14616 Cold blooded vertebrate is disjointly decomposed into amphibian, fish, and reptile
(disjointDecomposition CommissionedOfficerRank FlagOfficerRank FieldGradeOfficerRank CompanyGradeRank) Military.kif 283-284 Commissioned officer rank is disjointly decomposed into flag officer rank, field grade officer rank, and company grade rank
(disjointDecomposition ComputerStatus HostReady HostDown Booting) ComputingBrands.kif 3035-3035 Computer status is disjointly decomposed into host ready, host down, and booting up
(disjointDecomposition DifferentialEquation FirstOrderDifferentialEquation HigherOrderDifferentialEquation) engineering.kif 179-179 Differential equation is disjointly decomposed into first order differential equation and higher order differential equation
(disjointDecomposition DifferentialEquation OrdinaryDifferentialEquation PartialDifferentialEquation) engineering.kif 189-189 Differential equation is disjointly decomposed into ordinary differential equation and partial differential equation
(disjointDecomposition EnlistedSoldierRank PrivateRank NonCommissionedOfficerRank) Military.kif 269-269 Enlisted soldier rank is disjointly decomposed into private rank and non commissioned officer rank
(disjointDecomposition Expressing ExpressingApproval ExpressingDisapproval) Mid-level-ontology.kif 10548-10548 Expressing is disjointly decomposed into expressing approval and expressing disapproval
(disjointDecomposition GameArtifact GameBoard GamePiece) Mid-level-ontology.kif 14532-14532 Game artifact is disjointly decomposed into game board and game piece
(disjointDecomposition Invertebrate Worm Mollusk Arthropod) Merge.kif 14570-14570 Invertebrate is disjointly decomposed into worm, mollusk, and arthropod
(disjointDecomposition LAN BusNetwork StarNetwork RingNetwork) QoSontology.kif 37-37 LA n is disjointly decomposed into bus network, star network, and ring network
(disjointDecomposition Language AnimalLanguage HumanLanguage ComputerLanguage) Merge.kif 1439-1439 Language is disjointly decomposed into animal language, human language, and computer language
(disjointDecomposition Mammal AquaticMammal HoofedMammal Marsupial Rodent Primate) Merge.kif 14657-14657 Mammal is disjointly decomposed into aquatic mammal, hoofed mammal, marsupial, rodent, and primate
(disjointDecomposition NonCommissionedOfficerRank JuniorNCORank SeniorNCORank) Military.kif 306-306 Non commissioned officer rank is disjointly decomposed into juniorNCO rank and seniorNCO rank
(disjointDecomposition NonFloweringPlant Alga Fern Moss) Merge.kif 14459-14459 Non flowering plant is disjointly decomposed into alga, fern, and moss
(disjointDecomposition Nutrient Protein Carbohydrate Vitamin) Merge.kif 14786-14786 Nutrient is disjointly decomposed into protein, carbohydrate, and vitamin
(disjointDecomposition Phrase VerbPhrase NounPhrase PrepositionalPhrase) Merge.kif 15394-15394 Phrase is disjointly decomposed into verb phrase, noun phrase, and PrepositionalPhrase
(disjointDecomposition PowerGeneration FossilFuelPowerGeneration HydroElectricPowerGeneration NuclearPowerGeneration OtherSourcePowerGeneration) Economy.kif 2091-2091 Power generation is disjointly decomposed into fossil fuel power generation, hydro electric power generation, nuclear power generation, and other source power generation
(disjointDecomposition Primate Ape Monkey Hominid) Merge.kif 14718-14718 Primate is disjointly decomposed into ape, monkey, and hominid
(disjointDecomposition Relation BinaryRelation TernaryRelation QuaternaryRelation QuintaryRelation VariableArityRelation) Merge.kif 2279-2280 Relation is disjointly decomposed into binary relation, ternary relation, quaternary relation, quintary relation, and variable arity relation
(disjointDecomposition Residence PermanentResidence TemporaryResidence) Merge.kif 15918-15918 Residence is disjointly decomposed into permanent residence and temporary residence
(disjointDecomposition Sentence Statement Supposition Question Request Order) Mid-level-ontology.kif 11848-11848 Sentence is disjointly decomposed into statement, supposition, question, request, and order
(disjointDecomposition Tissue Bone Muscle FatTissue) Merge.kif 15276-15276 Tissue is disjointly decomposed into bone, muscle, and fat tissue


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