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 Class 的 disjointDecomposition 是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 564-565
(documentation disjointDecomposition JapaneseLanguage "Class C の disjointDecomposition は、相互に disjoint であるCのサブクラスのセットである。") japanese_format.kif 80-81
(documentation disjointDecomposition SpanishLanguage "Una disjointDecomposition de una Class C es un conjunto de las subclases de C que son mutuamente dijoint.") spanish_format.kif 92-93
(domain disjointDecomposition 1 Class) Merge.kif 559-559 The number 1 argument of disjoint decomposition is an instance of class
(domain disjointDecomposition 2 Class) Merge.kif 560-560 The number 2 argument of disjoint decomposition is an instance of class
(instance disjointDecomposition Predicate) Merge.kif 557-557 disjoint decomposition is an instance of predicate
(instance disjointDecomposition VariableArityRelation) Merge.kif 558-558 disjoint decomposition is an instance of variable arity relation
(relatedInternalConcept disjointDecomposition disjoint) Merge.kif 562-562 disjoint decomposition is internally related to disjoint
(relatedInternalConcept disjointDecomposition exhaustiveDecomposition) Merge.kif 561-561 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 292-292
(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 JapaneseLanguage disjointDecomposition "%1 は %*{2-}[,] に disjointly decomposed %n") japanese_format.kif 1986-1986
(format PortugueseLanguage disjointDecomposition "%1 e' %n disjuntamente decomponivel em %*{2-}[,]") portuguese_format.kif 118-118
(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 ro disjointDecomposition "%1 %n{nu} decomposed%t{se descompune} disjointly%t{disjunct} în %*{2-}[,]") relations-ro.kif 186-186
(format sv disjointDecomposition "%1 är %n{inte} disjunkt nedbrutet till %*{2-}[,]") relations-sv.txt 173-173
(format tg disjointDecomposition "%1 %n ay maghati sa %*{2-}[,]") relations-tg.txt 168-168
(termFormat ChineseLanguage disjointDecomposition "不相交分解") domainEnglishFormat.kif 19869-19869
(termFormat ChineseLanguage disjointDecomposition "不相交的分拆") chinese_format.kif 288-288
(termFormat ChineseTraditionalLanguage disjointDecomposition "不相交分解") domainEnglishFormat.kif 19868-19868
(termFormat EnglishLanguage disjointDecomposition "disjoint decomposition") domainEnglishFormat.kif 19867-19867
(termFormat de disjointDecomposition "disjunkteAufspaltung") terms-de.txt 116-116
(termFormat tg disjointDecomposition "pagkakahati") relations-tg.txt 169-169

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


(=>
    (and
        (exhaustiveDecomposition @ROW)
        (disjointDecomposition @ROW))
    (partition @ROW))		 Merge.kif 589-593
(=>
    (disjointDecomposition ?CLASS ?ROW1 ?ROW2 ?ROW3)
    (and
        (disjoint ?ROW1 ?ROW2)
        (disjoint ?ROW2 ?ROW3)
        (disjoint ?ROW3 ?ROW1)))		 Merge.kif 2963-2968
(=>
    (disjointDecomposition ?CLASS @ROW)
    (forall (?ITEM)
        (=>
            (inList ?ITEM
                (ListFn @ROW))
            (subclass ?ITEM ?CLASS))))		 Merge.kif 2945-2950
(=>
    (disjointDecomposition ?CLASS @ROW)
    (forall (?ITEM1 ?ITEM2)
        (=>
            (and
                (inList ?ITEM1
                    (ListFn @ROW))
                (inList ?ITEM2
                    (ListFn @ROW))
                (not
                    (equal ?ITEM1 ?ITEM2)))
            (disjoint ?ITEM1 ?ITEM2))))		 Merge.kif 2952-2961
(=>
    (disjointDecomposition @ROW)
    (=>
        (inList ?ELEMENT
            (ListFn @ROW))
        (instance ?ELEMENT Class)))		 Merge.kif 567-571

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


(=>
    (partition @ROW)
    (and
        (exhaustiveDecomposition @ROW)
        (disjointDecomposition @ROW)))		 Merge.kif 583-587

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


(disjointDecomposition Abstract Quantity Attribute Relation Proposition List) Merge.kif 1663-1663 Abstract is disjointly decomposed into quantity, attribute, relation, proposition, and list
(disjointDecomposition Arthropod Arachnid Myriapod Insect Crustacean) Merge.kif 14599-14599 Arthropod is disjointly decomposed into arachnid, myriapod, insect, and crustacean
(disjointDecomposition ColdBloodedVertebrate Amphibian Fish Reptile) Merge.kif 14621-14621 Cold blooded vertebrate is disjointly decomposed into amphibian, fish, and reptile
(disjointDecomposition CommissionedOfficerRank FlagOfficerRank FieldGradeOfficerRank CompanyGradeRank) Military.kif 350-351 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 3215-3215 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 336-336 Enlisted soldier rank is disjointly decomposed into private rank and non commissioned officer rank
(disjointDecomposition Expressing ExpressingApproval ExpressingDisapproval) Mid-level-ontology.kif 13840-13840 Expressing is disjointly decomposed into expressing approval and expressing disapproval
(disjointDecomposition GameArtifact GameBoard GamePiece) Mid-level-ontology.kif 17905-17905 Game artifact is disjointly decomposed into game board and game piece
(disjointDecomposition Invertebrate Worm Mollusk Arthropod) Merge.kif 14578-14578 Invertebrate is disjointly decomposed into worm, mollusk, and arthropod
(disjointDecomposition LAN BusNetwork StarNetwork RingNetwork) QoSontology.kif 37-37 LAN is disjointly decomposed into bus network, star network, and ring network
(disjointDecomposition Language AnimalLanguage HumanLanguage ComputerLanguage) Merge.kif 1399-1399 Language is disjointly decomposed into animal language, human language, and computer language
(disjointDecomposition Mammal AquaticMammal HoofedMammal Marsupial Rodent Primate) Merge.kif 14655-14655 Mammal is disjointly decomposed into aquatic mammal, hoofed mammal, marsupial, rodent, and primate
(disjointDecomposition NSAID Aspirin Ibuprofen Acetaminophen) Medicine.kif 3493-3493 Non-steriodal anti-inflammatory is disjointly decomposed into aspirin, ibuprofen, and paracetamol
(disjointDecomposition NonCommissionedOfficerRank JuniorNCORank SeniorNCORank) Military.kif 373-373 Non commissioned officer rank is disjointly decomposed into juniorNCO rank and seniorNCO rank
(disjointDecomposition NonFloweringPlant Alga Fern Moss) Merge.kif 14484-14484 Non flowering plant is disjointly decomposed into alga, fern, and moss
(disjointDecomposition Nutrient Protein Carbohydrate Vitamin) Merge.kif 14756-14756 Nutrient is disjointly decomposed into protein, carbohydrate, and vitamin
(disjointDecomposition Phrase VerbPhrase NounPhrase PrepositionalPhrase) Merge.kif 15376-15376 Phrase is disjointly decomposed into verb phrase, noun phrase, and prepositional phrase
(disjointDecomposition PowerGeneration FossilFuelPowerGeneration HydroElectricPowerGeneration NuclearPowerGeneration OtherSourcePowerGeneration) Economy.kif 2202-2202 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 14701-14701 Primate is disjointly decomposed into ape, monkey, and hominid
(disjointDecomposition Relation BinaryRelation TernaryRelation QuaternaryRelation QuintaryRelation VariableArityRelation) Merge.kif 2154-2155 Relation is disjointly decomposed into binary relation, ternary relation, quaternary relation, quintary relation, and variable arity relation
(disjointDecomposition Residence PermanentResidence TemporaryResidence) Merge.kif 15848-15848 Residence is disjointly decomposed into permanent residence and temporary residence
(disjointDecomposition Sentence Statement Supposition Question Request Order) Mid-level-ontology.kif 15159-15159 Sentence is disjointly decomposed into statement, supposition, question, request, and order
(disjointDecomposition Tissue ConnectiveTissue MuscleTissue NervousTissue EpithelialTissue) Merge.kif 15199-15199 Tissue is disjointly decomposed into connective tissue, muscle tissue, nervous tissue, and epithelial tissue

Display limited to 25 items. Show next 25

Display limited to 25 items. Show next 25


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 3.0 is open source software produced by Articulate Software and its partners