| Separating(separating) | | Balkanise, Balkanize, French, Secession, amitosis, amitotic, apart, arborise, arborize, asunder, atomisation, atomise, atomistic, atomistical, atomization, atomize, autotomise, autotomize, avulse, avulsion, backscatter, bark, bifurcate, bifurcation, bisection, bisectional, bleed, branch, branching, break, break_apart, break_away, break_down, break_off, break_up, breakage, breaking, brecciate, broken, burst, bust, calve, canton, card, carve_up, chip, chip_off, cleavage, close_off, column_chromatography... |
| appearance as argument number 1 |
|
|
| (subclass Separating DualObjectProcess) | Merge.kif 12658-12658 | Separating is a subclass of dual object process |
| (disjoint Separating Combining) | Merge.kif 12659-12659 | Separating is disjoint from combining |
| (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 12660-12665 | Separating is disjoint from combining |
| appearance as argument number 2 |
|
|
| antecedent |
|
|
| (=> (instance ?SEPARATE Separating) (exists (?OBJ) (and (instance ?OBJ SelfConnectedObject) (patient ?SEPARATE ?OBJ)))) |
Merge.kif 12667-12672 | If X is an instance of separating, then there exists Y such that Y is an instance of self connected object and Y is a patient of X |
| (=> (and (instance ?PROCESS Separating) (resource ?PROCESS ?SOURCE) (result ?PROCESS ?PRODUCT) (instance ?PRODUCT Iron)) (instance ?SOURCE IronOre)) |
Economy.kif 5966-5972 | If X is an instance of separating, Y is a resource for X, Z is a result of X, and Z is an instance of iron, then Y is an instance of iron ore |
| consequent |
|
|
| (=> (instance ?C Cream) (exists (?CH ?M) (and (instance ?CH Separating) (patient ?CH ?M) (instance ?M Milk) (result ?CH Cream)))) |
Food.kif 3122-3129 | If X is an instance of cream, then there exist Y, Z such that Y is an instance of separating, Z is a patient of Y, Z is an instance of milk, and cream is a result of Y |
| (=> (and (instance ?C Curdling) (patient ?C ?X) (instance ?X Colloid)) (exists (?S ?A) (and (instance ?S Separating) (subProcess ?S ?C) (patient ?S ?X) (result ?S ?A) (piece ?A ?X) (instance ?A Substance)))) |
Food.kif 3206-3218 | If X is an instance of curdling, Y is a patient of X, and Y is an instance of colloid, then All of the following hold: (1) there exist Z (2) W such that Z is an instance of separating (3) Z is a subprocess of X (4) Y is a patient of Z (5) W is a result of Z (6) W is a piece of Y (7) W is an instance of substance |
| (=> (holdsDuring ?T (attribute ?H BoneFracture)) (exists (?S ?B) (and (instance ?S Separating) (patient ?S ?B) (instance ?B Bone) (part ?B ?H) (meetsTemporally (WhenFn ?S) ?T)))) |
Medicine.kif 6121-6130 | If bone fracture is an attribute of X holds during Y, then there exist Z, W such that Z is an instance of separating, W is a patient of Z, W is an instance of bone, W is a part of X, and the time of existence of Z meets Y |
|
|
|