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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - Separating
Separating

VerbNet: pit-10.7|skin, substance_emission-43.4|bleed, disassemble-23.3|disassemble, break-45.1|chip, split-23.2|break, disassemble-23.3|disassemble, split-23.2|snap, other_cos-45.4|divide, break-45.1|chip, break-45.1|chip, break-45.1|break, break-45.1|chip, carve-21.2|crumb, carve-21.2|crumble, debone-10.8|descale, disassemble-23.3|disassemble, other_cos-45.4|disintegrate, disassemble-23.3|disassemble, other_cos-45.4|divide, other_cos-45.4|dissolve, remove-10.1|separate, other_cos-45.4|divide, remove-10.1|extract, wipe_manner-10.4.1|winnow, carve-21.2|fillet, carve-21.2|fillet, other_cos-45.4|divide, remove-10.1|partition, remove-10.1|partition, split-23.2|rip, carve-21.2|quarter, split-23.2|rip, split-23.2|rip, carve-21.2|shred, split-23.2|rip, substance_emission-43.4|bleed, split-23.2|snap, debone-10.8|descale, disassemble-23.3|segregate, carve-21.2|shred, disassemble-23.3|sieve, disassemble-23.3|sieve, pit-10.7|skin, split-23.2|sliver, carve-21.2|smash, split-23.2|snap, split-23.2|break, split-23.2|sliver, other_cos-45.4|divide, disassemble-23.3|sieve, ...


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


(disjoint Separating Combining) Merge.kif 11567-11567 disjoint Separating and Combining
(documentation Separating ChineseLanguage "这是当一个 SelfConnectedObject 和它的(一些)part 分离的 Process。注：Separating 和 Detaching 的区别在于后者只造成两个物体不再 connected。再 注：Separating 和 Removing 的区别在于其中一个或是同时两分开了的东西可能或不能从它们分开的位置移动。") 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 11568-11573
(subclass Separating DualObjectProcess) Merge.kif 11566-11566 subclass Separating and DualObjectProcess

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


(subclass Breaking Separating) Merge.kif 11583-11583 subclass Breaking and Separating
(subclass CarbonDioxideEmission Separating) Geography.kif 2510-2510 subclass CarbonDioxideEmission and Separating
(subclass ChemicalDecomposition Separating) Merge.kif 11632-11632 subclass ChemicalDecomposition and Separating
(subclass Chromatography Separating) Mid-level-ontology.kif 17448-17448 subclass Chromatography and Separating
(subclass Dialysis Separating) Mid-level-ontology.kif 17401-17401 subclass Dialysis and Separating
(subclass Distilling Separating) Economy.kif 4581-4581 subclass Distilling and Separating
(subclass Slicing Separating) Mid-level-ontology.kif 19850-19850 subclass Slicing and Separating
(termFormat ChineseLanguage Separating "分开") chinese_format.kif 1168-1168
(termFormat EnglishLanguage Separating "separating") english_format.kif 1558-1558

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


(=>
    (and
        (instance ?PROCESS Separating)
        (resource ?PROCESS ?SOURCE)
        (result ?PROCESS ?PRODUCT)
        (instance ?PRODUCT Iron))
    (instance ?SOURCE IronOre))		 Economy.kif 4514-4520
(=>
    (instance ?SEPARATE Separating)
    (exists (?OBJ)
        (and
            (instance ?OBJ SelfConnectedObject)
            (patient ?SEPARATE ?OBJ))))		 Merge.kif 11575-11580


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