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 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 disjointDecomposition の数値 1 引数は クラスinstance では
(domain disjointDecomposition 2 Class) Merge.kif 560-560 disjointDecomposition の数値 2 引数は クラスinstance では
(instance disjointDecomposition Predicate) Merge.kif 557-557 disjointDecomposition述語instance では
(instance disjointDecomposition VariableArityRelation) Merge.kif 558-558 disjointDecomposition可変項数関係instance では
(relatedInternalConcept disjointDecomposition disjoint) Merge.kif 562-562 disjointDecompositiondisjointinternally 関連して
(relatedInternalConcept disjointDecomposition exhaustiveDecomposition) Merge.kif 561-561 disjointDecompositionexhaustiveDecompositioninternally 関連して

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 19863-19863
(termFormat ChineseLanguage disjointDecomposition "不相交的分拆") chinese_format.kif 288-288
(termFormat ChineseTraditionalLanguage disjointDecomposition "不相交分解") domainEnglishFormat.kif 19862-19862
(termFormat EnglishLanguage disjointDecomposition "disjoint decomposition") domainEnglishFormat.kif 19861-19861
(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 2981-2986
(=>
    (disjointDecomposition ?CLASS @ROW)
    (forall (?ITEM)
        (=>
            (inList ?ITEM
                (ListFn @ROW))
            (subclass ?ITEM ?CLASS))))
Merge.kif 2963-2968
(=>
    (disjointDecomposition ?CLASS @ROW)
    (forall (?ITEM1 ?ITEM2)
        (=>
            (and
                (inList ?ITEM1
                    (ListFn @ROW))
                (inList ?ITEM2
                    (ListFn @ROW))
                (not
                    (equal ?ITEM1 ?ITEM2)))
            (disjoint ?ITEM1 ?ITEM2))))
Merge.kif 2970-2979
(=>
    (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 1680-1680 抽象的な, 属性, 関係, 命題, + リストdisjointly decomposed
(disjointDecomposition Arthropod Arachnid Myriapod Insect Crustacean) Merge.kif 14678-14678 節足動物クモ形類動物, 多足類の(動物), 昆虫, + 甲殻類disjointly decomposed
(disjointDecomposition ColdBloodedVertebrate Amphibian Fish Reptile) Merge.kif 14700-14700 冷血脊椎動物amphibian, , + 爬虫類disjointly decomposed
(disjointDecomposition CommissionedOfficerRank FlagOfficerRank FieldGradeOfficerRank CompanyGradeRank) Military.kif 360-361 CommissionedOfficerRankFlagOfficerRank, FieldGradeOfficerRank, + CompanyGradeRankdisjointly decomposed
(disjointDecomposition ComputerStatus HostReady HostDown Booting) ComputingBrands.kif 3211-3211 ComputerStatusHostReady, HostDown, + 起動disjointly decomposed
(disjointDecomposition DifferentialEquation FirstOrderDifferentialEquation HigherOrderDifferentialEquation) engineering.kif 179-179 DifferentialEquationFirstOrderDifferentialEquation + HigherOrderDifferentialEquationdisjointly decomposed
(disjointDecomposition DifferentialEquation OrdinaryDifferentialEquation PartialDifferentialEquation) engineering.kif 189-189 DifferentialEquationOrdinaryDifferentialEquation + PartialDifferentialEquationdisjointly decomposed
(disjointDecomposition EnlistedSoldierRank PrivateRank NonCommissionedOfficerRank) Military.kif 346-346 EnlistedSoldierRankPrivateRank + NonCommissionedOfficerRankdisjointly decomposed
(disjointDecomposition Expressing ExpressingApproval ExpressingDisapproval) Mid-level-ontology.kif 14275-14275 表現ExpressingApproval + ExpressingDisapprovaldisjointly decomposed
(disjointDecomposition GameArtifact GameBoard GamePiece) Mid-level-ontology.kif 18364-18364 GameArtifactGameBoard + GamePiecedisjointly decomposed
(disjointDecomposition Invertebrate Worm Mollusk Arthropod) Merge.kif 14657-14657 無脊椎動物蠕虫, 軟体動物, + 節足動物disjointly decomposed
(disjointDecomposition LAN BusNetwork StarNetwork RingNetwork) QoSontology.kif 37-37 LANBusNetwork, StarNetwork, + RingNetworkdisjointly decomposed
(disjointDecomposition Language AnimalLanguage HumanLanguage ComputerLanguage) Merge.kif 1416-1416 言語動物言語, 人間の言語, + コンピューター言語disjointly decomposed
(disjointDecomposition Mammal AquaticMammal HoofedMammal Marsupial Rodent Primate) Merge.kif 14734-14734 哺乳動物水生哺乳類[動物], 有蹄哺乳動物, 有袋動物, 齧歯動物, + 霊長類disjointly decomposed
(disjointDecomposition NSAID Aspirin Ibuprofen Acetaminophen) Medicine.kif 3506-3506 NSAIDAspirin, Ibuprofen, + Acetaminophendisjointly decomposed
(disjointDecomposition NonCommissionedOfficerRank JuniorNCORank SeniorNCORank) Military.kif 383-383 NonCommissionedOfficerRankJuniorNCORank + SeniorNCORankdisjointly decomposed
(disjointDecomposition NonFloweringPlant Alga Fern Moss) Merge.kif 14563-14563 隠花植物, シダ, + コケdisjointly decomposed
(disjointDecomposition Nutrient Protein Carbohydrate Vitamin) Merge.kif 14835-14835 栄養素[栄養物]たんぱく質, 炭水化物, + ビタミンdisjointly decomposed
(disjointDecomposition Phrase VerbPhrase NounPhrase PrepositionalPhrase) Merge.kif 15455-15455 動詞句, 名詞句, + 前置詞句disjointly decomposed
(disjointDecomposition PowerGeneration FossilFuelPowerGeneration HydroElectricPowerGeneration NuclearPowerGeneration OtherSourcePowerGeneration) Economy.kif 2327-2327 PowerGenerationFossilFuelPowerGeneration, HydroElectricPowerGeneration, NuclearPowerGeneration, + OtherSourcePowerGenerationdisjointly decomposed
(disjointDecomposition Primate Ape Monkey Hominid) Merge.kif 14780-14780 霊長類類人猿, , + ヒト科の動物disjointly decomposed
(disjointDecomposition Relation BinaryRelation TernaryRelation QuaternaryRelation QuintaryRelation VariableArityRelation) Merge.kif 2171-2172 関係2項関係, 三進法関係, 4変数関係, 5進法関係, + 可変項数関係disjointly decomposed
(disjointDecomposition Residence PermanentResidence TemporaryResidence) Merge.kif 15927-15927 ResidencePermanentResidence + TemporaryResidencedisjointly decomposed
(disjointDecomposition Sentence Statement Supposition Question Request Order) Mid-level-ontology.kif 15602-15602 Statement, Supposition, Question, Request, + Orderdisjointly decomposed
(disjointDecomposition Tissue ConnectiveTissue MuscleTissue NervousTissue EpithelialTissue) Merge.kif 15278-15278 《医》組織ConnectiveTissue, MuscleTissue, NervousTissue, + EpithelialTissuedisjointly decomposed

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