| Combining(combining) | | Agenise, Agenize, absorb, activate, add_on, admix, admixture, adsorb, aerate, agglomeration, agglutination, alcoholise, alcoholize, alloy, amalgamate, amalgamative, ammoniate, ammonify, assimilate, bale, bark, begrime, bemire, bituminise, bituminize, blend, blend_in, blended, blending, bloody, bolster, break_up, bromate, brominate, buckram, buffer, build_in, butt-weld, buttweld, camphorate, carbonate, carboxylate, carburet, charge, chemisorb, chlorinate, chrome, clap_on, clog, close... |
| appearance as argument number 1 |
|
|
| (documentation Combining ChineseLanguage "这是一个当两个或以上的 SelfConnectedObject 合并成 一个单一的 SelfConnectedObject 的 Process。注：Combining 和 Attaching 的区别在于前者造成 其中的一个物体成为另一个物体的 part，而 Attaching 只会造成两个物体互相 connected。再注： Combining 和 Putting 的区别在于其中一个或是同时两个接上的东西可能或不能从它们结合的位置移动。") | chinese_format.kif 3174-3177 | |
| (documentation Combining EnglishLanguage "A Process where two or more SelfConnectedObjects are incorporated into a single SelfConnectedObject. Note that Combining is different from Attaching in that the former results in one of the objects being part of the other, while Attaching only results in the two objects being connected with one another. Note too that Combining is different from Putting in that one or both of the two things which are combined may or may not be moved from the location where they were combined.") | Merge.kif 12503-12510 | |
| (subclass Combining DualObjectProcess) | Merge.kif 12502-12502 | Combining is a subclass of dual object process |
| appearance as argument number 2 |
|
|
| antecedent |
|
|
| (<=> (and (instance ?COMBINE Combining) (resource ?COMBINE ?OBJ1) (result ?COMBINE ?OBJ2)) (and (holdsDuring (BeginFn (WhenFn ?COMBINE)) (not (part ?OBJ1 ?OBJ2))) (holdsDuring (EndFn (WhenFn ?COMBINE)) (part ?OBJ1 ?OBJ2)))) |
Merge.kif 12512-12519 | A process is an instance of combining and an object is a resource for the process and an entity is a result of the process if and only if the object is not a part of the entity holds during the beginning of the time of existence of the process and the object is a part of the entity holds during the end of the time of existence of the process |
| (=> (instance ?COMBINE Combining) (exists (?OBJ) (and (instance ?OBJ SelfConnectedObject) (patient ?COMBINE ?OBJ)))) |
Merge.kif 12521-12526 |
|
| consequent |
|
|
| (=> (instance ?AERATOR Aerator) (hasPurpose ?AERATOR (exists (?COMBINE ?AIR) (and (instance ?COMBINE Combining) (resource ?COMBINE ?AIR) (instance ?AIR Air) (instrument ?COMBINE ?AERATOR))))) |
Mid-level-ontology.kif 1879-1887 |
|
|
|
|