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 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 不相交的分拆 的 1 数量 是 instance
(domain disjointDecomposition 2 Class) Merge.kif 567-567 不相交的分拆 的 2 数量 是 instance
(instance disjointDecomposition Predicate) Merge.kif 564-564 不相交的分拆谓语instance
(instance disjointDecomposition VariableArityRelation) Merge.kif 565-565 不相交的分拆不定次元关系instance
(relatedInternalConcept disjointDecomposition disjoint) Merge.kif 569-569 不相交的分拆不相交 是 内部相关
(relatedInternalConcept disjointDecomposition exhaustiveDecomposition) Merge.kif 568-568 不相交的分拆彻底的分拆 是 内部相关

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
  • 如果 @ROW 涵盖 @ROW 和 @ROW 分拆成不相交的 @ROW,
  • 然后 @ROW 详尽无遗地 partition 成 @ROW
(=>
    (disjointDecomposition ?CLASS ?ROW1 ?ROW2 ?ROW3)
    (and
        (disjoint ?ROW1 ?ROW2)
        (disjoint ?ROW2 ?ROW3)
        (disjoint ?ROW3 ?ROW1)))
Merge.kif 2968-2973
(=>
    (disjointDecomposition ?CLASS @ROW)
    (forall (?ITEM)
        (=>
            (inList ?ITEM
                (ListFn @ROW))
            (subclass ?ITEM ?CLASS))))
Merge.kif 2950-2955
(=>
    (disjointDecomposition ?CLASS @ROW)
    (forall (?ITEM1 ?ITEM2)
        (=>
            (and
                (inList ?ITEM1
                    (ListFn @ROW))
                (inList ?ITEM2
                    (ListFn @ROW))
                (not
                    (equal ?ITEM1 ?ITEM2)))
            (disjoint ?ITEM1 ?ITEM2))))
Merge.kif 2957-2966
(=>
    (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
  • 如果 @ROW 详尽无遗地 partition 成 @ROW,
  • 然后 @ROW 涵盖 @ROW 和 @ROW 分拆成不相交的 @ROW

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


(disjointDecomposition Abstract Quantity Attribute Relation Proposition List) Merge.kif 1670-1670 抽象体 分拆成不相交的 数量, 属性, 关系, 命题, 和 串列
(disjointDecomposition Arthropod Arachnid Myriapod Insect Crustacean) Merge.kif 14525-14525 节肢动物 分拆成不相交的 蛛形䋞动物, 多足动物, 昆虫, 和 甲壳类动物
(disjointDecomposition ColdBloodedVertebrate Amphibian Fish Reptile) Merge.kif 14547-14547 冷血脊椎动物 分拆成不相交的 两栖动物, , 和 爬虫类
(disjointDecomposition CommissionedOfficerRank FlagOfficerRank FieldGradeOfficerRank CompanyGradeRank) Military.kif 283-284 委任军官级别 分拆成不相交的 国旗官员级别, 现场等级军官等级, 和 公司等级排名
(disjointDecomposition ComputerStatus HostReady HostDown Booting) ComputingBrands.kif 3215-3215 电脑状态 分拆成不相交的 准备好主持, 主持人, 和 啟動中
(disjointDecomposition DifferentialEquation FirstOrderDifferentialEquation HigherOrderDifferentialEquation) engineering.kif 180-180 微分方程 分拆成不相交的 一阶微分方程高阶微分方程
(disjointDecomposition DifferentialEquation OrdinaryDifferentialEquation PartialDifferentialEquation) engineering.kif 190-190 微分方程 分拆成不相交的 常微分方程偏微分方程
(disjointDecomposition EnlistedSoldierRank PrivateRank NonCommissionedOfficerRank) Military.kif 269-269 士兵军衔 分拆成不相交的 私人排名非委任军官级别
(disjointDecomposition Expressing ExpressingApproval ExpressingDisapproval) Mid-level-ontology.kif 12944-12944 表示 分拆成不相交的 表示赞同表示不赞成
(disjointDecomposition GameArtifact GameBoard GamePiece) Mid-level-ontology.kif 16977-16977 游戏神器 分拆成不相交的 游戏板游戏片
(disjointDecomposition Invertebrate Worm Mollusk Arthropod) Merge.kif 14504-14504 无脊椎动物 分拆成不相交的 蠕虫, 软体动物, 和 节肢动物
(disjointDecomposition LAN BusNetwork StarNetwork RingNetwork) QoSontology.kif 37-37 LAN 分拆成不相交的 公交网络, 星网, 和 环网
(disjointDecomposition Language AnimalLanguage HumanLanguage ComputerLanguage) Merge.kif 1406-1406 语言 分拆成不相交的 兽语, 人类语言, 和 电算机语言
(disjointDecomposition Mammal AquaticMammal HoofedMammal Marsupial Rodent Primate) Merge.kif 14581-14581 哺乳动物 分拆成不相交的 水生哺乳动物, 有蹄哺乳动物, 有袋动物, 啮齿动物, 和 灵长类动物
(disjointDecomposition NSAID Aspirin Ibuprofen Acetaminophen) Medicine.kif 3505-3505 NSAID 分拆成不相交的 Aspirin, Ibuprofen, 和 Acetaminophen
(disjointDecomposition NonCommissionedOfficerRank JuniorNCORank SeniorNCORank) Military.kif 306-306 非委任军官级别 分拆成不相交的 初级NCO排名高级NCO排名
(disjointDecomposition NonFloweringPlant Alga Fern Moss) Merge.kif 14410-14410 无花植物 分拆成不相交的 藻类, 蕨类, 和 苔藓
(disjointDecomposition Nutrient Protein Carbohydrate Vitamin) Merge.kif 14682-14682 营养 分拆成不相交的 蛋白质, 碳水化物, 和 维生素
(disjointDecomposition Phrase VerbPhrase NounPhrase PrepositionalPhrase) Merge.kif 15302-15302 短语 分拆成不相交的 动词短语, 名词短语, 和 介词短语
(disjointDecomposition PowerGeneration FossilFuelPowerGeneration HydroElectricPowerGeneration NuclearPowerGeneration OtherSourcePowerGeneration) Economy.kif 2087-2087 发电 分拆成不相交的 化石燃料发电, 水力发电, 核能发电, 和 其他发电源
(disjointDecomposition Primate Ape Monkey Hominid) Merge.kif 14627-14627 灵长类动物 分拆成不相交的 , 猴子, 和 原始人类
(disjointDecomposition Relation BinaryRelation TernaryRelation QuaternaryRelation QuintaryRelation VariableArityRelation) Merge.kif 2160-2161 关系 分拆成不相交的 二元关系, 三元关系, 四元关系, 五元关系, 和 不定次元关系
(disjointDecomposition Residence PermanentResidence TemporaryResidence) Merge.kif 15777-15777 住宅 分拆成不相交的 永久居留权暂住
(disjointDecomposition Sentence Statement Supposition Question Request Order) Mid-level-ontology.kif 14231-14231 句子 分拆成不相交的 声明, 假想, , 请求, 和 订购
(disjointDecomposition Tissue ConnectiveTissue MuscleTissue NervousTissue EpithelialTissue) Merge.kif 15125-15125 身体组织 分拆成不相交的 ConnectiveTissue, MuscleTissue, NervousTissue, 和 EpithelialTissue

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