| Combining(combiner) | |
| 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 12611-12618 | |
| (subclass Combining DualObjectProcess) | Merge.kif 12610-12610 | Combiner est une sous-classe de processus requ�rant deux patients |
| appearance as argument number 2 |
|
|
| (disjoint Separating Combining) | Merge.kif 12637-12637 | Separer est disjoint de combiner |
| (subclass Acidification Combining) | Geography.kif 2630-2630 | Acidification est une sous-classe de combiner |
| (subclass Aerating Combining) | Mid-level-ontology.kif 2359-2359 | Aerating est une sous-classe de combiner |
| (subclass ChemicalSynthesis Combining) | Merge.kif 12677-12677 | Synth�se chimique est une sous-classe de combiner |
| (subclass Salination Combining) | Geography.kif 3051-3051 | Salination est une sous-classe de combiner |
| (subclass Stirring Combining) | Mid-level-ontology.kif 19080-19080 | Stirring est une sous-classe de combiner |
| (termFormat ChineseLanguage Combining "结合") | chinese_format.kif 1167-1167 | Stirring est une sous-classe de combiner |
| (termFormat EnglishLanguage Combining "combining") | english_format.kif 1551-1551 | Stirring est une sous-classe de combiner |
| (termFormat FrenchLanguage Combining "combiner") | french_format.kif 845-845 | Stirring est une sous-classe de combiner |
| (termFormat Hindi Combining "sanyojana") | terms-hindi.txt 377-377 | Stirring est une sous-classe de combiner |
| (termFormat ItalianLanguage Combining "Combinare") | terms-it.txt 380-380 | Stirring est une sous-classe de combiner |
| (termFormat JapaneseLanguage Combining "組み合わせ") | japanese_format.kif 2529-2529 | Stirring est une sous-classe de combiner |
| (termFormat PortugueseLanguage Combining "Combinar") | portuguese_format.kif 797-797 | Stirring est une sous-classe de combiner |
| (termFormat cb Combining "pagtipon") | terms-cb.txt 382-382 | Stirring est une sous-classe de combiner |
| (termFormat cz Combining "combining") | terms-cz.txt 416-416 | Stirring est une sous-classe de combiner |
| (termFormat de Combining "Kombinieren") | terms-de.txt 675-675 | Stirring est une sous-classe de combiner |
| (termFormat ro Combining "combinare") | relations-ro.kif 866-866 | Stirring est une sous-classe de combiner |
| (termFormat tg Combining "nagsasama") | terms-tg.txt 381-381 | Stirring est une sous-classe de combiner |
| 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 12620-12627 | Processus est une instance de combiner objet est une resource pour processus entit� est le resultat de processus objet est une partie de entit� pendant le d�but de temps d'existence de processus objet est une partie de entit� pendant la fin de temps d'existence de processus |
| (=> (instance ?COMBINE Combining) (exists (?OBJ) (and (instance ?OBJ SelfConnectedObject) (patient ?COMBINE ?OBJ)))) |
Merge.kif 12629-12634 |
| consequent |
|
|
| (=> (and (instance ?P ProductAssembly) (eventLocated ?P ?X) (instance ?X AssemblyStation)) (or (instance ?P Attaching) (instance ?P Combining))) |
Economy.kif 2140-2147 |
|
| (=> (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 2349-2357 |
|
|
|