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

Formal Language: 



KB Term:  Term intersection
English Word: 

  disjointDecomposition

 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 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 Il numero 1 argomenti di disjointDecomposition è un istanza di Classe
(domain disjointDecomposition 2 Class) Merge.kif 567-567 Il numero 2 argomenti di disjointDecomposition è un istanza di Classe
(instance disjointDecomposition Predicate) Merge.kif 564-564 disjointDecomposition è un' istanza di Predicato
(instance disjointDecomposition VariableArityRelation) Merge.kif 565-565 disjointDecomposition è un' istanza di RelazioneAdArit�Variabile
(relatedInternalConcept disjointDecomposition disjoint) Merge.kif 569-569 disjointDecomposition è interamente correlato a disjoint
(relatedInternalConcept disjointDecomposition exhaustiveDecomposition) Merge.kif 568-568 disjointDecomposition è interamente correlato a 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 19854-19854
(termFormat ChineseLanguage disjointDecomposition "不相交的分拆") chinese_format.kif 288-288
(termFormat ChineseTraditionalLanguage disjointDecomposition "不相交分解") domainEnglishFormat.kif 19853-19853
(termFormat EnglishLanguage disjointDecomposition "disjoint decomposition") domainEnglishFormat.kif 19852-19852
(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 596-600
(=>
    (disjointDecomposition ?CLASS ?ROW1 ?ROW2 ?ROW3)
    (and
        (disjoint ?ROW1 ?ROW2)
        (disjoint ?ROW2 ?ROW3)
        (disjoint ?ROW3 ?ROW1)))		 Merge.kif 2969-2974
(=>
    (disjointDecomposition ?CLASS @ROW)
    (forall (?ITEM)
        (=>
            (inList ?ITEM
                (ListFn @ROW))
            (subclass ?ITEM ?CLASS))))		 Merge.kif 2951-2956
(=>
    (disjointDecomposition ?CLASS @ROW)
    (forall (?ITEM1 ?ITEM2)
        (=>
            (and
                (inList ?ITEM1
                    (ListFn @ROW))
                (inList ?ITEM2
                    (ListFn @ROW))
                (not
                    (equal ?ITEM1 ?ITEM2)))
            (disjoint ?ITEM1 ?ITEM2))))		 Merge.kif 2958-2967
(=>
    (disjointDecomposition @ROW)
    (=>
        (inList ?ELEMENT
            (ListFn @ROW))
        (instance ?ELEMENT Class)))		 Merge.kif 574-578

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


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

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


(disjointDecomposition Abstract Quantity Attribute Relation Proposition List) Merge.kif 1670-1670 Astratto è scomposto disgiuntivamente in Quantit�, Attributo, Relazione, Proposizione, + Lista
(disjointDecomposition Arthropod Arachnid Myriapod Insect Crustacean) Merge.kif 14571-14571 Artropodi è scomposto disgiuntivamente in Aracnidi, Miriapode, Insetto, + Crostaceo
(disjointDecomposition ColdBloodedVertebrate Amphibian Fish Reptile) Merge.kif 14593-14593 AnimaleASangueFreddo è scomposto disgiuntivamente in Anfibio, Pesce, + Rettile
(disjointDecomposition CommissionedOfficerRank FlagOfficerRank FieldGradeOfficerRank CompanyGradeRank) Military.kif 283-284 CommissionedOfficerRank è scomposto disgiuntivamente in FlagOfficerRank, FieldGradeOfficerRank, + CompanyGradeRank
(disjointDecomposition ComputerStatus HostReady HostDown Booting) ComputingBrands.kif 3215-3215 ComputerStatus è scomposto disgiuntivamente in HostReady, HostDown, + Booting
(disjointDecomposition DifferentialEquation FirstOrderDifferentialEquation HigherOrderDifferentialEquation) engineering.kif 180-180 DifferentialEquation è scomposto disgiuntivamente in FirstOrderDifferentialEquation + HigherOrderDifferentialEquation
(disjointDecomposition DifferentialEquation OrdinaryDifferentialEquation PartialDifferentialEquation) engineering.kif 190-190 DifferentialEquation è scomposto disgiuntivamente in OrdinaryDifferentialEquation + PartialDifferentialEquation
(disjointDecomposition EnlistedSoldierRank PrivateRank NonCommissionedOfficerRank) Military.kif 269-269 EnlistedSoldierRank è scomposto disgiuntivamente in PrivateRank + NonCommissionedOfficerRank
(disjointDecomposition Expressing ExpressingApproval ExpressingDisapproval) Mid-level-ontology.kif 12971-12971 Esprimere è scomposto disgiuntivamente in ExpressingApproval + ExpressingDisapproval
(disjointDecomposition GameArtifact GameBoard GamePiece) Mid-level-ontology.kif 17004-17004 GameArtifact è scomposto disgiuntivamente in GameBoard + GamePiece
(disjointDecomposition Invertebrate Worm Mollusk Arthropod) Merge.kif 14550-14550 Invertebrato è scomposto disgiuntivamente in Verme, Mollusco, + Artropodi
(disjointDecomposition LAN BusNetwork StarNetwork RingNetwork) QoSontology.kif 37-37 LAN è scomposto disgiuntivamente in BusNetwork, StarNetwork, + RingNetwork
(disjointDecomposition Language AnimalLanguage HumanLanguage ComputerLanguage) Merge.kif 1406-1406 Linguaggio è scomposto disgiuntivamente in LinguaggioAnimale, LinguaggioUmano, + LinguaggioMacchina
(disjointDecomposition Mammal AquaticMammal HoofedMammal Marsupial Rodent Primate) Merge.kif 14627-14627 Mammifero è scomposto disgiuntivamente in MammiferoAcquatico, MammiferoUngulato, Marsupiale, Roditore, + Primato
(disjointDecomposition NSAID Aspirin Ibuprofen Acetaminophen) Medicine.kif 3505-3505 NSAID è scomposto disgiuntivamente in Aspirin, Ibuprofen, + Acetaminophen
(disjointDecomposition NonCommissionedOfficerRank JuniorNCORank SeniorNCORank) Military.kif 306-306 NonCommissionedOfficerRank è scomposto disgiuntivamente in JuniorNCORank + SeniorNCORank
(disjointDecomposition NonFloweringPlant Alga Fern Moss) Merge.kif 14456-14456 PiantaNonDaFiore è scomposto disgiuntivamente in Alga, Felce, + Muschio
(disjointDecomposition Nutrient Protein Carbohydrate Vitamin) Merge.kif 14728-14728 Nutriente è scomposto disgiuntivamente in Proteina, Carboidrato, + Vitamina
(disjointDecomposition Phrase VerbPhrase NounPhrase PrepositionalPhrase) Merge.kif 15348-15348 Sintagma è scomposto disgiuntivamente in SintagmaVerbale, SintagmaNominale, + SintagmaPreposizionale
(disjointDecomposition PowerGeneration FossilFuelPowerGeneration HydroElectricPowerGeneration NuclearPowerGeneration OtherSourcePowerGeneration) Economy.kif 2087-2087 PowerGeneration è scomposto disgiuntivamente in FossilFuelPowerGeneration, HydroElectricPowerGeneration, NuclearPowerGeneration, + OtherSourcePowerGeneration
(disjointDecomposition Primate Ape Monkey Hominid) Merge.kif 14673-14673 Primato è scomposto disgiuntivamente in Scimmia, Scimmia, + Ominide
(disjointDecomposition Relation BinaryRelation TernaryRelation QuaternaryRelation QuintaryRelation VariableArityRelation) Merge.kif 2160-2161 Relazione è scomposto disgiuntivamente in RelazioneBinaria, RelazioneTernaria, RelazioneQuaternaria, RelazioneQuinquenaria, + RelazioneAdArit�Variabile
(disjointDecomposition Residence PermanentResidence TemporaryResidence) Merge.kif 15823-15823 Residence è scomposto disgiuntivamente in PermanentResidence + TemporaryResidence
(disjointDecomposition Sentence Statement Supposition Question Request Order) Mid-level-ontology.kif 14258-14258 Frase è scomposto disgiuntivamente in Statement, Supposition, Question, Request, + Order
(disjointDecomposition Tissue ConnectiveTissue MuscleTissue NervousTissue EpithelialTissue) Merge.kif 15171-15171 Tessuto è scomposto disgiuntivamente in ConnectiveTissue, MuscleTissue, NervousTissue, + EpithelialTissue

Display limited to 25 items. Show next 25

Display limited to 25 items. Show next 25


Show simplified definition (without tree view)
Show simplified definition (with tree view)

Show without tree


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