| Impelling | |
| appearance as argument number 1 |
|
|
| (documentation Impelling ChineseLanguage "这是 Transfer 的 subclass，当中 patient 通过一次突然有力的过程穿过空间， 例如：射击、投掷和扔等。") | chinese_format.kif 3044-3045 | |
| (documentation Impelling EnglishLanguage "The subclass of Transfer where the patient travels through space by means of a sudden, forceful event. Some examples would be shooting, throwing, tossing, etc.") | Merge.kif 11605-11607 | |
| (documentation Impelling JapaneseLanguage "patient が突然、衝撃な出来事によって宇宙を通過す る Transfer の subclass。例えば、射撃、物を投げたり、トスする、など。") | japanese_format.kif 1812-1813 | |
| (subclass Impelling Transfer) | Merge.kif 11603-11603 |
| appearance as argument number 2 |
|
|
| (subclass AvalancheProcess Impelling) | Geography.kif 2280-2280 | |
| (subclass Drooling Impelling) | Mid-level-ontology.kif 7519-7519 | |
| (subclass GameShot Impelling) | Mid-level-ontology.kif 18426-18426 | |
| (subclass HeartBeat Impelling) | Mid-level-ontology.kif 12062-12062 | |
| (subclass Kicking Impelling) | Mid-level-ontology.kif 7589-7589 | |
| (subclass Landslide Impelling) | Geography.kif 2286-2286 | |
| (subclass Punching Impelling) | Mid-level-ontology.kif 7573-7573 | |
| (subclass Shooting Impelling) | Merge.kif 11609-11609 | |
| (subclass Spitting Impelling) | Mid-level-ontology.kif 7505-7505 | |
| (subclass Throwing Impelling) | Mid-level-ontology.kif 18485-18485 | |
| (termFormat ChineseLanguage Impelling "驱动") | chinese_format.kif 1125-1125 | |
| (termFormat EnglishLanguage Impelling "impelling") | english_format.kif 1467-1467 | |
| (termFormat FrenchLanguage Impelling "propulser") | french_format.kif 803-803 | |
| (termFormat Hindi Impelling "prerakataa") | terms-hindi.txt 335-335 | |
| (termFormat ItalianLanguage Impelling "Spinta") | terms-it.txt 338-338 | |
| (termFormat JapaneseLanguage Impelling "強いること") | japanese_format.kif 2487-2487 | |
| (termFormat PortugueseLanguage Impelling "Propulsionar") | portuguese_format.kif 755-755 | |
| (termFormat cb Impelling "pagpugus") | terms-cb.txt 340-340 | |
| (termFormat cz Impelling "impelling") | terms-cz.txt 374-374 | |
| (termFormat de Impelling "Noetigen") | terms-de.txt 633-633 | |
| (termFormat ro Impelling "impulsionare") | relations-ro.kif 824-824 | |
| (termFormat tg Impelling "tinataboy") | terms-tg.txt 339-339 |
| consequent |
|
|
| (=> (and (instance ?IMPACT Impacting) (patient ?IMPACT ?OBJ)) (exists (?IMPEL) (and (instance ?IMPEL Impelling) (patient ?IMPEL ?OBJ) (earlier (WhenFn ?IMPEL) (WhenFn ?IMPACT))))) |
Merge.kif 11674-11682 | |
| (=> (instance ?H Hammer) (hasPurpose ?H (exists (?I ?N) (and (instance ?I Impelling) (instrument ?I ?H) (patient ?I ?N) (instance ?N Nail))))) |
Mid-level-ontology.kif 4674-4682 |
|
|
|