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

Formal Language: 

KB Term:  Term intersection
English Word: 

Sigma KEE - 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
(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 566-566 Le nombre 1 argument de disjointDecomposition est une instance de classe
(domain disjointDecomposition 2 Class) Merge.kif 567-567 Le nombre 2 argument de disjointDecomposition est une instance de classe
(instance disjointDecomposition Predicate) Merge.kif 564-564 disjointDecomposition est une instance de predicat
(instance disjointDecomposition VariableArityRelation) Merge.kif 565-565 disjointDecomposition est une instance de relation a arit� variable
(relatedInternalConcept disjointDecomposition disjoint) Merge.kif 569-569 disjointDecomposition est reli� � l'int�rieur de SUMO � disjoint
(relatedInternalConcept disjointDecomposition exhaustiveDecomposition) Merge.kif 568-568 disjointDecomposition est reli� � l'int�rieur de SUMO � 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 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 19851-19851
(termFormat ChineseLanguage disjointDecomposition "不相交的分拆") chinese_format.kif 288-288
(termFormat ChineseTraditionalLanguage disjointDecomposition "不相交分解") domainEnglishFormat.kif 19850-19850
(termFormat EnglishLanguage disjointDecomposition "disjoint decomposition") domainEnglishFormat.kif 19849-19849
(termFormat tg disjointDecomposition "pagkakahati") relations-tg.txt 169-169


        (exhaustiveDecomposition @ROW)
        (disjointDecomposition @ROW))
    (partition @ROW))
Merge.kif 596-600
    (disjointDecomposition ?CLASS ?ROW1 ?ROW2 ?ROW3)
        (disjoint ?ROW1 ?ROW2)
        (disjoint ?ROW2 ?ROW3)
        (disjoint ?ROW3 ?ROW1)))
Merge.kif 2955-2960
    (disjointDecomposition ?CLASS @ROW)
    (forall (?ITEM)
            (inList ?ITEM
                (ListFn @ROW))
            (subclass ?ITEM ?CLASS))))
Merge.kif 2937-2942
    (disjointDecomposition ?CLASS @ROW)
    (forall (?ITEM1 ?ITEM2)
                (inList ?ITEM1
                    (ListFn @ROW))
                (inList ?ITEM2
                    (ListFn @ROW))
                    (equal ?ITEM1 ?ITEM2)))
            (disjoint ?ITEM1 ?ITEM2))))
Merge.kif 2944-2953
    (disjointDecomposition @ROW)
        (inList ?ELEMENT
            (ListFn @ROW))
        (instance ?ELEMENT Class)))
Merge.kif 574-578


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

appearance as argument number 0

(disjointDecomposition Abstract Quantity Attribute Relation Proposition List) Merge.kif 1657-1657 Abstrait est disjointement decompos� en quantit�, attribut, relation, proposition , + liste
(disjointDecomposition Arthropod Arachnid Myriapod Insect Crustacean) Merge.kif 14416-14416 Arthropode est disjointement decompos� en arachnide, myriapode, insecte, + crustac�
(disjointDecomposition ColdBloodedVertebrate Amphibian Fish Reptile) Merge.kif 14438-14438 Vert�br� � sang froid est disjointement decompos� en amphibien, poisson, + reptile
(disjointDecomposition CommissionedOfficerRank FlagOfficerRank FieldGradeOfficerRank CompanyGradeRank) Military.kif 283-284 CommissionedOfficerRank est disjointement decompos� en FlagOfficerRank, FieldGradeOfficerRank, + CompanyGradeRank
(disjointDecomposition ComputerStatus HostReady HostDown Booting) ComputingBrands.kif 3215-3215 ComputerStatus est disjointement decompos� en HostReady, HostDown, + Booting
(disjointDecomposition DifferentialEquation FirstOrderDifferentialEquation HigherOrderDifferentialEquation) engineering.kif 179-179 DifferentialEquation est disjointement decompos� en FirstOrderDifferentialEquation + HigherOrderDifferentialEquation
(disjointDecomposition DifferentialEquation OrdinaryDifferentialEquation PartialDifferentialEquation) engineering.kif 189-189 DifferentialEquation est disjointement decompos� en OrdinaryDifferentialEquation + PartialDifferentialEquation
(disjointDecomposition EnlistedSoldierRank PrivateRank NonCommissionedOfficerRank) Military.kif 269-269 EnlistedSoldierRank est disjointement decompos� en PrivateRank + NonCommissionedOfficerRank
(disjointDecomposition Expressing ExpressingApproval ExpressingDisapproval) Mid-level-ontology.kif 12815-12815 Exprimer est disjointement decompos� en ExpressingApproval + ExpressingDisapproval
(disjointDecomposition GameArtifact GameBoard GamePiece) Mid-level-ontology.kif 16847-16847 GameArtifact est disjointement decompos� en GameBoard + GamePiece
(disjointDecomposition Invertebrate Worm Mollusk Arthropod) Merge.kif 14395-14395 Invertebr� est disjointement decompos� en ver, mollusque, + arthropode
(disjointDecomposition LAN BusNetwork StarNetwork RingNetwork) QoSontology.kif 37-37 LAN est disjointement decompos� en BusNetwork, StarNetwork, + RingNetwork
(disjointDecomposition Language AnimalLanguage HumanLanguage ComputerLanguage) Merge.kif 1393-1393 Langage est disjointement decompos� en langage animal, langage humain, + langage de programmation
(disjointDecomposition Mammal AquaticMammal HoofedMammal Marsupial Rodent Primate) Merge.kif 14472-14472 Mammif�re est disjointement decompos� en mammif�re aquatique, ongul�, marsupial, rongeur, + primate
(disjointDecomposition NonCommissionedOfficerRank JuniorNCORank SeniorNCORank) Military.kif 306-306 NonCommissionedOfficerRank est disjointement decompos� en JuniorNCORank + SeniorNCORank
(disjointDecomposition NonFloweringPlant Alga Fern Moss) Merge.kif 14301-14301 Plante non florissante est disjointement decompos� en algue, foug�re, + mousse
(disjointDecomposition Nutrient Protein Carbohydrate Vitamin) Merge.kif 14573-14573 Nutriment est disjointement decompos� en prot�ine, hydrate de carbone, + vitamine
(disjointDecomposition Phrase VerbPhrase NounPhrase PrepositionalPhrase) Merge.kif 15186-15186 Phrase est disjointement decompos� en syntagme verbal, syntagme nominal, + phrase pr�positionnelle
(disjointDecomposition PowerGeneration FossilFuelPowerGeneration HydroElectricPowerGeneration NuclearPowerGeneration OtherSourcePowerGeneration) Economy.kif 2103-2103 PowerGeneration est disjointement decompos� en FossilFuelPowerGeneration, HydroElectricPowerGeneration, NuclearPowerGeneration, + OtherSourcePowerGeneration
(disjointDecomposition Primate Ape Monkey Hominid) Merge.kif 14518-14518 Primate est disjointement decompos� en simien, singe, + hominid�
(disjointDecomposition Relation BinaryRelation TernaryRelation QuaternaryRelation QuintaryRelation VariableArityRelation) Merge.kif 2147-2148 Relation est disjointement decompos� en relation binaire, relation ternaire, relation quaternaire, relation quinternaire, + relation a arit� variable
(disjointDecomposition Residence PermanentResidence TemporaryResidence) Merge.kif 15661-15661 Residence est disjointement decompos� en PermanentResidence + TemporaryResidence
(disjointDecomposition Sentence Statement Supposition Question Request Order) Mid-level-ontology.kif 14101-14101 Phrase est disjointement decompos� en Statement, Supposition, Question, Request, + Order
(disjointDecomposition Tissue ConnectiveTissue MuscleTissue NervousTissue EpithelialTissue) Merge.kif 15014-15014 Tissu est disjointement decompos� en ConnectiveTissue, MuscleTissue, NervousTissue, + EpithelialTissue

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