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 826-827
(documentation disjointDecomposition EnglishLanguage "A disjointDecomposition of a Class C is a set of subclasses of C that are mutually disjoint.") Merge.kif 823-824
(documentation disjointDecomposition JapaneseLanguage "Class C の disjointDecomposition は、相互に disjoint であるCのサブクラスのセットである。") Merge.kif 829-830
(documentation disjointDecomposition SpanishLanguage "Una disjointDecomposition de una Class C es un conjunto de las subclases de C que son mutuamente dijoint.") Merge.kif 832-833
(domain disjointDecomposition 1 Class) Merge.kif 818-818 disjointDecomposition の数値 1 引数は クラスinstance では %n
(domain disjointDecomposition 2 Class) Merge.kif 819-819 disjointDecomposition の数値 2 引数は クラスinstance では %n
(instance disjointDecomposition Predicate) Merge.kif 816-816 disjointDecomposition述語instance では %n
(instance disjointDecomposition VariableArityRelation) Merge.kif 817-817 disjointDecomposition可変項数関係instance では %n
(relatedInternalConcept disjointDecomposition disjoint) Merge.kif 821-821 disjointDecompositiondisjointinternally 関連して %n
(relatedInternalConcept disjointDecomposition exhaustiveDecomposition) Merge.kif 820-820 disjointDecompositionexhaustiveDecompositioninternally 関連して %n

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 406-406
(format JapaneseLanguage disjointDecomposition "%1 は %*{2-}[,] に disjointly decomposed %n") english_format.kif 407-407
(termFormat ChineseLanguage disjointDecomposition "不相交分解") domainEnglishFormat.kif 19783-19783 termFormat ChineseLanguage, disjointDecomposition and "不相交分解"
(termFormat ChineseLanguage disjointDecomposition "不相交的分拆") chinese_format.kif 288-288 termFormat ChineseLanguage, disjointDecomposition and "不相交的分拆"
(termFormat ChineseTraditionalLanguage disjointDecomposition "不相交分解") domainEnglishFormat.kif 19782-19782 termFormat ChineseTraditionalLanguage, disjointDecomposition and "不相交分解"
(termFormat EnglishLanguage disjointDecomposition "disjoint decomposition") domainEnglishFormat.kif 19781-19781 termFormat EnglishLanguage, disjointDecomposition and "disjoint decomposition"

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


(=>
    (disjointDecomposition ?CLASS ?ROW1 ?ROW2 ?ROW3)
    (and
        (disjoint ?ROW1 ?ROW2)
        (disjoint ?ROW2 ?ROW3)
        (disjoint ?ROW3 ?ROW1)))
Merge.kif 4739-4744
(=>
    (disjointDecomposition ?CLASS @ROW)
    (forall (?ITEM)
        (=>
            (inList ?ITEM
                (ListFn @ROW))
            (subclass ?ITEM ?CLASS))))
Merge.kif 4721-4726
(=>
    (disjointDecomposition ?CLASS @ROW)
    (forall (?ITEM1 ?ITEM2)
        (=>
            (and
                (inList ?ITEM1
                    (ListFn @ROW))
                (inList ?ITEM2
                    (ListFn @ROW))
                (not
                    (equal ?ITEM1 ?ITEM2)))
            (disjoint ?ITEM1 ?ITEM2))))
Merge.kif 4728-4737
(=>
    (disjointDecomposition @ROW)
    (=>
        (inList ?ELEMENT
            (ListFn @ROW))
        (instance ?ELEMENT Class)))
Merge.kif 835-839

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


(<=>
    (partition @ROW)
    (and
        (exhaustiveDecomposition @ROW)
        (disjointDecomposition @ROW)))
Merge.kif 862-866 @ROW は @ROW に exhaustively partitioned %n @ROW は @ROW によって covered され %n @ROW は @ROW に disjointly decomposed %n

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


(disjointDecomposition Abstract Quantity Attribute SetOrClass Relation Proposition) Merge.kif 2693-2693 抽象的な, 属性, 同じセットまたはクラス, 関係, + 命題disjointly decomposed %n
(disjointDecomposition Arthropod Arachnid Myriapod Insect Crustacean) Merge.kif 18958-18958 節足動物クモ形類動物, 多足類の(動物), 昆虫, + 甲殻類disjointly decomposed %n
(disjointDecomposition ColdBloodedVertebrate Amphibian Fish Reptile) Merge.kif 18988-18988 冷血脊椎動物amphibian, , + 爬虫類disjointly decomposed %n
(disjointDecomposition CommissionedOfficerRank FlagOfficerRank FieldGradeOfficerRank CompanyGradeRank) Military.kif 283-284 CommissionedOfficerRankFlagOfficerRank, FieldGradeOfficerRank, + CompanyGradeRankdisjointly decomposed %n
(disjointDecomposition ComputerStatus HostReady HostDown Booting) ComputingBrands.kif 3046-3046 ComputerStatusHostReady, HostDown, + 起動disjointly decomposed %n
(disjointDecomposition DifferentialEquation FirstOrderDifferentialEquation HigherOrderDifferentialEquation) engineering.kif 179-179 DifferentialEquationFirstOrderDifferentialEquation + HigherOrderDifferentialEquationdisjointly decomposed %n
(disjointDecomposition DifferentialEquation OrdinaryDifferentialEquation PartialDifferentialEquation) engineering.kif 189-189 DifferentialEquationOrdinaryDifferentialEquation + PartialDifferentialEquationdisjointly decomposed %n
(disjointDecomposition EnlistedSoldierRank PrivateRank NonCommissionedOfficerRank) Military.kif 269-269 EnlistedSoldierRankPrivateRank + NonCommissionedOfficerRankdisjointly decomposed %n
(disjointDecomposition Expressing ExpressingApproval ExpressingDisapproval) Mid-level-ontology.kif 10549-10549 表現ExpressingApproval + ExpressingDisapprovaldisjointly decomposed %n
(disjointDecomposition GameArtifact GameBoard GamePiece) Mid-level-ontology.kif 14533-14533 GameArtifactGameBoard + GamePiecedisjointly decomposed %n
(disjointDecomposition Invertebrate Worm Mollusk Arthropod) Merge.kif 18942-18942 無脊椎動物蠕虫, 軟体動物, + 節足動物disjointly decomposed %n
(disjointDecomposition LAN BusNetwork StarNetwork RingNetwork) QoSontology.kif 37-37 LANBusNetwork, StarNetwork, + RingNetworkdisjointly decomposed %n
(disjointDecomposition Language AnimalLanguage HumanLanguage ComputerLanguage) Merge.kif 2236-2236 言語動物言語, 人間の言語, + コンピューター言語disjointly decomposed %n
(disjointDecomposition Mammal AquaticMammal HoofedMammal Marsupial Rodent Primate) Merge.kif 19029-19029 哺乳動物水生哺乳類[動物], 有蹄哺乳動物, 有袋動物, 齧歯動物, + 霊長類disjointly decomposed %n
(disjointDecomposition NonCommissionedOfficerRank JuniorNCORank SeniorNCORank) Military.kif 306-306 NonCommissionedOfficerRankJuniorNCORank + SeniorNCORankdisjointly decomposed %n
(disjointDecomposition NonFloweringPlant Alga Fern Moss) Merge.kif 18831-18831 隠花植物, シダ, + コケdisjointly decomposed %n
(disjointDecomposition Nutrient Protein Carbohydrate Vitamin) Merge.kif 19158-19158 栄養素[栄養物]たんぱく質, 炭水化物, + ビタミンdisjointly decomposed %n
(disjointDecomposition Phrase VerbPhrase NounPhrase PrepositionalPhrase) Merge.kif 19766-19766 動詞句, 名詞句, + 前置詞句disjointly decomposed %n
(disjointDecomposition PowerGeneration FossilFuelPowerGeneration HydroElectricPowerGeneration NuclearPowerGeneration OtherSourcePowerGeneration) Economy.kif 2091-2091 PowerGenerationFossilFuelPowerGeneration, HydroElectricPowerGeneration, NuclearPowerGeneration, + OtherSourcePowerGenerationdisjointly decomposed %n
(disjointDecomposition Primate Ape Monkey Hominid) Merge.kif 19090-19090 霊長類類人猿, , + ヒト科の動物disjointly decomposed %n
(disjointDecomposition Relation BinaryRelation TernaryRelation QuaternaryRelation QuintaryRelation VariableArityRelation) Merge.kif 3515-3516 関係2項関係, 三進法関係, 4変数関係, 5進法関係, + 可変項数関係disjointly decomposed %n
(disjointDecomposition Residence PermanentResidence TemporaryResidence) Merge.kif 20290-20290 ResidencePermanentResidence + TemporaryResidencedisjointly decomposed %n
(disjointDecomposition Sentence Statement Supposition Question Request Order) Mid-level-ontology.kif 11849-11849 Statement, Supposition, Question, Request, + Orderdisjointly decomposed %n
(disjointDecomposition Tissue Bone Muscle FatTissue) Merge.kif 19648-19648 《医》組織, 筋肉, + 脂肪組織disjointly decomposed %n


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