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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - Separating
Separating(分开)

appearance as argument number 1
-------------------------


(disjoint Separating Combining) Merge.kif 12245-12245 分开 和 % 2 是 disjoint
(documentation Separating ChineseLanguage "这是当一个 SelfConnectedObject 和它的(一些)part 分离的 Process。注:SeparatingDetaching 的区别在于后者只造成两个物体不再 connected。再 注:SeparatingRemoving 的区别在于其中一个或是同时两分开了的东西可能或不能从它们分开的位置移动。") chinese_format.kif 3178-3180
(documentation Separating EnglishLanguage "A Process where a SelfConnectedObject is separated into (some of) its parts. Note that Separating is different from Detaching in that the latter only results in the two objects not being connected. Note too that Separating is different from Removing in that one or both of the two things which are separated may or may not be moved from the location where they were separated.") Merge.kif 12246-12251
(subclass Separating DualObjectProcess) Merge.kif 12244-12244 分开双受体过程subclass

appearance as argument number 2
-------------------------


(subclass Breaking Separating) Merge.kif 12261-12261 Breaking分开subclass
(subclass CarbonDioxideEmission Separating) Geography.kif 2572-2572 二氧化碳排放量分开subclass
(subclass ChemicalDecomposition Separating) Merge.kif 12321-12321 化学分解分开subclass
(subclass Chromatography Separating) Mid-level-ontology.kif 18994-18994 色谱分开subclass
(subclass Dialysis Separating) Mid-level-ontology.kif 18947-18947 透析分开subclass
(subclass Distilling Separating) Economy.kif 4739-4739 蒸馏分开subclass
(subclass Slicing Separating) Mid-level-ontology.kif 21485-21485 Slicing分开subclass
(termFormat ChineseLanguage Separating "分开") chinese_format.kif 1168-1168
(termFormat EnglishLanguage Separating "separating") english_format.kif 1553-1553

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


(=>
    (and
        (instance ?PROCESS Separating)
        (resource ?PROCESS ?SOURCE)
        (result ?PROCESS ?PRODUCT)
        (instance ?PRODUCT Iron))
    (instance ?SOURCE IronOre))
Economy.kif 4672-4678
(=>
    (instance ?SEPARATE Separating)
    (exists (?OBJ)
        (and
            (instance ?OBJ SelfConnectedObject)
            (patient ?SEPARATE ?OBJ))))
Merge.kif 12253-12258


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