| 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 11492-11494 | |
| (documentation Impelling JapaneseLanguage "patient が突然、衝撃な出来事によって宇宙を通過す る Transfer の subclass。例えば、射撃、物を投げたり、トスする、など。") | japanese_format.kif 1812-1813 | |
| (subclass Impelling Transfer) | Merge.kif 11490-11490 |
| appearance as argument number 2 |
|
|
| (subclass AvalancheProcess Impelling) | Geography.kif 2292-2292 | |
| (subclass Drooling Impelling) | Mid-level-ontology.kif 6562-6562 | |
| (subclass GameShot Impelling) | Mid-level-ontology.kif 17018-17018 | |
| (subclass HeartBeat Impelling) | Mid-level-ontology.kif 10712-10712 | |
| (subclass Kicking Impelling) | Mid-level-ontology.kif 6632-6632 | |
| (subclass Landslide Impelling) | Geography.kif 2298-2298 | |
| (subclass Punching Impelling) | Mid-level-ontology.kif 6616-6616 | |
| (subclass Shooting Impelling) | Merge.kif 11496-11496 | |
| (subclass Spitting Impelling) | Mid-level-ontology.kif 6548-6548 | |
| (subclass Throwing Impelling) | Mid-level-ontology.kif 17077-17077 | |
| (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 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 11561-11569 | |
| (=> (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 4212-4220 |
|
|
|