|
|
   Impelling
|
|
|
| appearance as argument number 1 |
|
|
| (documentation Impelling ChineseLanguage "这是 Transfer 的 subclass，当中 patient 通过一次突然有力的过程穿过空间， 例如：射击、投掷和扔等。") | Merge.kif 11271-11272 | |
| (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 11268-11270 | |
| (subclass Impelling Transfer) | Merge.kif 11267-11267 |
| appearance as argument number 2 |
|
|
| (subclass AvalancheProcess Impelling) | Geography.kif 2225-2225 | |
| (subclass GameShot Impelling) | Mid-level-ontology.kif 14312-14312 | |
| (subclass Kicking Impelling) | Mid-level-ontology.kif 6263-6263 | |
| (subclass Landslide Impelling) | Geography.kif 2231-2231 | |
| (subclass Punching Impelling) | Mid-level-ontology.kif 6248-6248 | |
| (subclass Shooting Impelling) | Merge.kif 11274-11274 | |
| (subclass Spitting Impelling) | Mid-level-ontology.kif 6234-6234 | |
| (subclass Throwing Impelling) | Mid-level-ontology.kif 14371-14371 | |
| (termFormat ChineseLanguage Impelling "驱动") | chinese_format.kif 1125-1125 | |
| (termFormat EnglishLanguage Impelling "impelling") | english_format.kif 812-812 | |
| (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 336-336 | |
| (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 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 11345-11353 | |
| (=> (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 4682-4690 | |
| (=> (instance ?SB SnowBlower) (hasPurpose (?SB) (exists (?IMP ?SNOW) (and (instance ?IMP Impelling) (instrument ?IMP ?SB) (instance ?SNOW Snowing) (patient ?IMP ?SNOW))))) |
Society.kif 892-900 |
|
|
|