Browsing Interface : Welcome guest : log in
|
Browsing Interface : Welcome guest : log in |
[
Home |
Graph |
LogLearn |
Editor |
]
KB:
Language:
Formal Language:
|
 |
   Separating
|
|
|
| appearance as argument number 1 |
|
|
| (subclass Separating DualObjectProcess) | Merge.kif 12772-12772 | Separating is a subclass of dual object process |
| (disjoint Separating Combining) | Merge.kif 12773-12773 | 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 12774-12779 | 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 12781-12786 | 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 5984-5990 | 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 3145-3152 | 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 3229-3241 | 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 6159-6168 | 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 |
|