| 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 | 碰撞 是 接触 的 subclass |
| appearance as argument number 2 |
|
|
| 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 27740-27752 | |
| (=> (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 27721-27738 |
|
| (=> (and (instance ?MOTION Ducking) (agent ?MOTION ?AGENT)) (hasPurpose ?MOTION (not (exists (?IMPACT) (and (instance ?IMPACT Impacting) (patient ?IMPACT ?AGENT)))))) |
Mid-level-ontology.kif 14455-14462 | |
| (=> (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 |
|
|
|