| Separating(分離) | |
| appearance as argument number 1 |
|
|
| (disjoint Separating Combining) | Merge.kif 12637-12637 | 分離 と 組み合わせ は disjoint では |
| (documentation Separating ChineseLanguage "这是当一个 SelfConnectedObject 和它的(一些)part 分离的 Process。注：Separating 和 Detaching 的区别在于后者只造成两个物体不再 connected。再 注：Separating 和 Removing 的区别在于其中一个或是同时两分开了的东西可能或不能从它们分开的位置移动。") | chinese_format.kif 3178-3180 | 分離 と 組み合わせ は disjoint では |
| (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 12638-12643 | 分離 と 組み合わせ は disjoint では |
| (subclass Separating DualObjectProcess) | Merge.kif 12636-12636 | 分離 は デュアオブジェクト工程 の subclass では |
| appearance as argument number 2 |
|
|
| antecedent |
|
|
| (=> (and (instance ?PROCESS Separating) (resource ?PROCESS ?SOURCE) (result ?PROCESS ?PRODUCT) (instance ?PRODUCT Iron)) (instance ?SOURCE IronOre)) |
Economy.kif 5971-5977 | |
| (=> (instance ?SEPARATE Separating) (exists (?OBJ) (and (instance ?OBJ SelfConnectedObject) (patient ?SEPARATE ?OBJ)))) |
Merge.kif 12645-12650 |
| consequent |
|
|
| (=> (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 | |
| (=> (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 6145-6154 | |
| (=> (instance ?C Cream) (exists (?CH ?M) (and (instance ?CH Separating) (patient ?CH ?M) (instance ?M Milk) (result ?CH Cream)))) |
Food.kif 3122-3129 |
|
|
|