| Impacting | |
| appearance as argument number 1 |
|
|
| (documentation Impacting ChineseLanguage "这是任何 Touching 的过程， 她发生在当某样东西突然而有力 地和另外一样东西发生物理上的接触。 一些例子如击、敲和搅等。") | chinese_format.kif 3056-3057 | |
| (documentation Impacting EnglishLanguage "Any Touching where something comes into sudden, forceful, physical contact with something else. Some examples would be striking, knocking, whipping etc.") | Merge.kif 11670-11672 | |
| (documentation Impacting JapaneseLanguage "何かが突然、力強く、物理的に何か他のものと接触する Touching。いくつかの例として、打撃、ノック、鞭打ちなど。") | japanese_format.kif 1824-1825 | |
| (subclass Impacting Touching) | Merge.kif 11668-11668 |
| appearance as argument number 2 |
|
|
| (subclass Clapping Impacting) | Mid-level-ontology.kif 14440-14440 | |
| (subclass Crushing Impacting) | Food.kif 962-962 | |
| (subclass TouchSurfaceTap Impacting) | ComputerInput.kif 1559-1559 | |
| (termFormat ChineseLanguage Impacting "碰撞") | chinese_format.kif 1128-1128 | |
| (termFormat EnglishLanguage Impacting "impacting") | english_format.kif 1473-1473 | |
| (termFormat FrenchLanguage Impacting "impacte") | french_format.kif 806-806 | |
| (termFormat Hindi Impacting "takaraahata") | terms-hindi.txt 338-338 | |
| (termFormat ItalianLanguage Impacting "Impatto") | terms-it.txt 341-341 | |
| (termFormat JapaneseLanguage Impacting "衝撃") | japanese_format.kif 2490-2490 | |
| (termFormat PortugueseLanguage Impacting "Impactar") | portuguese_format.kif 758-758 | |
| (termFormat cb Impacting "paghapak") | terms-cb.txt 343-343 | |
| (termFormat cz Impacting "impacting") | terms-cz.txt 377-377 | |
| (termFormat de Impacting "Auswirken") | terms-de.txt 636-636 | |
| (termFormat ro Impacting "impact") | relations-ro.kif 827-827 | |
| (termFormat tg Impacting "pagtama;pagbangga") | terms-tg.txt 342-342 |
| antecedent |
|
|
| (=> (and (instance ?B Bell) (instance ?I Impacting) (destination ?I ?B)) (exists (?MT) (and (instance ?MT MusicalTone) (causes ?I ?MT)))) |
Music.kif 1258-1266 | |
| (=> (and (instance ?I Impacting) (patient ?I ?H) (holdsDuring (ImmediateFutureFn ?I) (attribute ?H (ImpairedBodyPartFn Brain)))) (modalAttribute (holdsDuring (ImmediateFutureFn ?I) (attribute ?H Concussion)) Likely)) |
Medicine.kif 1320-1332 | |
| (=> (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 |
| consequent |
|
|
| (=> (and (instance ?D Dodging) (agent ?D ?A) (equal ?DT (WhenFn ?D))) (hasPurpose ?D (not (exists (?I) (and (or (meetsTemporally ?DT (WhenFn ?I)) (overlapsTemporally ?DT (WhenFn ?I))) (instance ?I Impacting) (patient ?I ?A)))))) |
Mid-level-ontology.kif 443-456 | |
| (=> (and (instance ?KL KnockLight) (instance ?A Human) (attribute ?A Deaf) (uses ?KL ?A)) (hasPurpose ?KL (exists (?KNOCK ?DOOR) (and (instance ?KNOCK Impacting) (patient ?KNOCK ?DOOR) (instance ?DOOR Door) (knows ?A ?KNOCK))))) |
Mid-level-ontology.kif 27497-27509 | |
| (=> (and (instance ?KL KnockLight) (located ?KL ?ROOM) (instance ?ROOM Room) (instance ?DOOR Door) (part ?DOOR ?ROOM)) (hasPurpose ?KL (exists (?KNOCK ?SOUND ?LIGHT) (and (instance ?KNOCK Impacting) (patient ?KNOCK ?DOOR) (causes ?KNOCK ?SOUND) (instance ?SOUND RadiatingSound) (agent ?SOUND ?DOOR) (causes ?SOUND ?LIGHT) (instance ?LIGHT RadiatingVisibleLight) (instrument ?LIGHT ?KL))))) |
Mid-level-ontology.kif 27478-27495 | |
| (=> (and (instance ?MOTION Ducking) (agent ?MOTION ?AGENT)) (hasPurpose ?MOTION (not (exists (?IMPACT) (and (instance ?IMPACT Impacting) (patient ?IMPACT ?AGENT)))))) |
Mid-level-ontology.kif 14473-14480 | |
| (=> (instance ?C Crushing) (exists (?I ?CO ?O) (and (instance ?I Impacting) (subProcess ?C ?I) (instance ?CO Compressing) (patient ?I ?O) (patient ?CO ?O) (instance ?O Object)))) |
Food.kif 970-979 | |
| (=> (instance ?D Drumming) (exists (?A ?DRUM ?I) (and (agent ?D ?A) (instrument ?D ?DRUM) (subProcess ?I ?D) (agent ?I ?A) (patient ?I ?DRUM) (instance ?I Impacting) (instance ?DRUM Drum)))) |
Music.kif 1367-1377 | |
| (=> (instance ?X AutoAirbag) (hasPurpose ?X (exists (?CAR ?PERSON ?IMP ?INF ?INJ ?HIT) (and (instance ?CAR Automobile) (part ?X ?CAR) (instance ?PERSON Human) (contains ?CAR ?PERSON) (instance ?IMP Impacting) (patient ?IMP ?CAR) (instance ?INF Inflating) (patient ?INF ?X) (causes ?IMP ?INF) (hinders ?INF (KappaFn ?INJ (and (instance ?INJ Injuring) (experiencer ?INJ ?PERSON) (exists (?HIT) (and (instance ?HIT Impacting) (destination ?HIT ?CAR) (experiencer ?HIT ?PERSON) (causes ?HIT ?INJ)))))))))) |
Cars.kif 3693-3717 | |
| (=> (instance ?X SeatBelt) (hasPurpose ?X (exists (?PERSON ?STOP ?VEHICLE ?M) (and (instance ?VEHICLE Vehicle) (part ?X ?VEHICLE) (instance ?PERSON Human) (contains ?VEHICLE ?PERSON) (instance ?STOP Process) (prevents ?STOP (KappaFn ?M (and (instance ?M Translocation) (patient ?M ?PERSON) (exists (?COLLISION) (and (or (instance ?COLLISION Decelerating) (instance ?COLLISION Impacting)) (experiencer ?COLLISION ?VEHICLE) (causes ?COLLISION ?M))) (modalAttribute (exists (?INJ ?IMP) (and (instance ?INJ Injuring) (instance ?IMP Impacting) (causes ?M ?INJ) (patient ?INJ ?PERSON) (subProcess ?IMP ?INJ))) Possibility)))))))) |
Cars.kif 3736-3765 |
|
|
|