Combining |
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 12457-12464 | |
(subclass Combining DualObjectProcess) | Merge.kif 12456-12456 | Combining ist eine teilkategorie von DualObjectProcess |
appearance as argument number 2 |
(disjoint Separating Combining) | Merge.kif 12483-12483 | Separating ist dijunkt von Combining %n{nicht} |
(subclass Acidification Combining) | Geography.kif 2472-2472 | Acidification ist eine teilkategorie von Combining |
(subclass Aerating Combining) | Mid-level-ontology.kif 1896-1896 | Aerating ist eine teilkategorie von Combining |
(subclass ChemicalSynthesis Combining) | Merge.kif 12523-12523 | ChemicalSynthesis ist eine teilkategorie von Combining |
(subclass Salination Combining) | Geography.kif 2893-2893 | Salination ist eine teilkategorie von Combining |
(subclass Stirring Combining) | Mid-level-ontology.kif 17529-17529 | Stirring ist eine teilkategorie von Combining |
(termFormat ChineseLanguage Combining "结合") | chinese_format.kif 1167-1167 | |
(termFormat EnglishLanguage Combining "combining") | english_format.kif 1551-1551 | |
(termFormat FrenchLanguage Combining "combiner") | french_format.kif 845-845 | |
(termFormat Hindi Combining "sanyojana") | terms-hindi.txt 377-377 | |
(termFormat ItalianLanguage Combining "Combinare") | terms-it.txt 380-380 | |
(termFormat JapaneseLanguage Combining "組み合わせ") | japanese_format.kif 2529-2529 | |
(termFormat PortugueseLanguage Combining "Combinar") | portuguese_format.kif 797-797 | |
(termFormat cb Combining "pagtipon") | terms-cb.txt 382-382 | |
(termFormat cz Combining "combining") | terms-cz.txt 416-416 | |
(termFormat ro Combining "combinare") | relations-ro.kif 866-866 | |
(termFormat tg Combining "nagsasama") | terms-tg.txt 381-381 |
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 12466-12473 | Process ist ein fall von Combining %n{nicht} und Object ist ein hilfmittel fuer ** Process %n{nicht} und Entity ist ein resultat von ** Process %n{nicht} genau dann wenn ** Object ist ein teil von ** Entity nicht haelt waehrend der anfang von die zeit des Bestehens von ** Process %n{nicht} und ** Object ist ein teil von ** Entity %n{nicht} haelt waehrend das ende von die zeit des Bestehens von ** Process %n{nicht} |
(=> (instance ?COMBINE Combining) (exists (?OBJ) (and (instance ?OBJ SelfConnectedObject) (patient ?COMBINE ?OBJ)))) |
Merge.kif 12475-12480 |
|
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 1886-1894 |
|