Browsing Interface : Welcome guest : log in
|
Browsing Interface : Welcome guest : log in |
[
Home |
Graph |
LogLearn |
Editor |
]
KB:
Language:
Formal Language:
|
 |
   Impacting
|
|
|
| appearance as argument number 1 |
|
|
| (subclass Impacting Touching) | Merge.kif 11809-11809 | Impacting is a subclass of touching |
| (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 11811-11813 | Impacting is a subclass of touching |
| appearance as argument number 2 |
|
|
| antecedent |
|
|
| consequent |
|
|
| (=> (instance ?C Crater) (exists (?HOST ?EVENT ?METEOR ?BOMB) (and (hole ?C ?HOST) (superficialPart ?SURF (HoleHostFn ?C)) (or (and (instance ?EVENT Impacting) (instrument ?EVENT ?METEOR) (instance ?METEOR Meteorite)) (and (instance ?EVENT Explosion) (instrument ?EVENT ?BOMB) (instance ?BOMB Bomb)) (instance ?EVENT VolcanicEruption)) (result ?EVENT ?C)))) |
Merge.kif 1059-1075 | If X is an instance of crater, then All of the following hold: (1) there exist Y, Z,, , W (2) V such that X is a hole in Y (3) U is a superficial part of the host of the hole X (4) Z is an instance of impacting (5) W is an instrument for Z (6) W is an instance of meteorite or Z is an instance of explosion (7) V is an instrument for Z (8) V is an instance of bomb or Z is an instance of volcanic eruption (9) X is a result of Z |
| (=> (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 433-446 | If X is an instance of dodging, Y is an agent of X, and equal Z and the time of existence of X, then X has the purpose there doesn't exist W such that Z meets the time of existence of W or the time of existence of W overlaps Z, W is an instance of impacting, and Y is a patient of W |
| (=> (and (instance ?MOTION Ducking) (agent ?MOTION ?AGENT)) (hasPurpose ?MOTION (not (exists (?IMPACT) (and (instance ?IMPACT Impacting) (patient ?IMPACT ?AGENT)))))) |
Mid-level-ontology.kif 14680-14687 | If X is an instance of ducking and Y is an agent of X, then X has the purpose there doesn't exist Z such that Z is an instance of impacting and Y is a patient of Z |
| (=> (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 28389-28406 | If X is an instance of knock light, X is located at Y, Y is an instance of room, Z is an instance of door, and Z is a part of Y, then All of the following hold: (1) X has the purpose there exist W, V (2) U such that W is an instance of impacting (3) Z is a patient of W (4) W causes V (5) V is an instance of radiating sound (6) Z is an agent of V (7) V causes U (8) U is an instance of radiating visible light (9) X is an instrument for U |
| (=> (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 (and (instance ?KNOCK Impacting) (patient ?KNOCK ?DOOR) (instance ?DOOR Door))))))) |
Mid-level-ontology.kif 28408-28424 | If X is an instance of knock light, Y is an instance of human, deafness is an attribute of Y, and Y uses X, then All of the following hold: (1) X has the purpose there exist Z (2) W such that Z is an instance of impacting (3) W is a patient of Z (4) W is an instance of door (5) Y knows Z is an instance of impacting (6) W is a patient of Z (7) W is an instance of door |
| (=> (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 3500-3524 | If X is an instance of airbag, then All of the following hold: (1) X has the purpose there exist Y, Z,, , W,, , V,, , U (2) T such that Y is an instance of automobile (3) X is a part of Y (4) Z is an instance of human (5) Y contains Z (6) W is an instance of impacting (7) Y is a patient of W (8) V is an instance of inflating (9) X is a patient of V (10) W causes V (11) V hinders the class described by U |
| (=> (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 3543-3572 | If X is an instance of seat belt, then All of the following hold: (1) X has the purpose there exist Y, Z,, , W (2) V such that W is an instance of vehicle (3) X is a part of W (4) Y is an instance of human (5) W contains Y (6) Z is an instance of process (7) Z prevents the occurrence of the class described by V |
| (=> (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 947-956 | If X is an instance of crushing, then All of the following hold: (1) there exist Y, Z (2) W such that Y is an instance of impacting (3) X is a subprocess of Y (4) Z is an instance of compressing (5) W is a patient of Y (6) W is a patient of Z (7) W is an instance of object |
| (=> (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 1369-1379 | If X is an instance of drumming, then All of the following hold: (1) there exist Y, Z (2) W such that Y is an agent of X (3) Z is an instrument for X (4) W is a subprocess of X (5) Y is an agent of W (6) Z is a patient of W (7) W is an instance of impacting (8) Z is an instance of drum |
|