(=>
(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 1020-1036 |
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 |
(=>
(instance ?P GunPowder)
(capability Explosion instrument ?P)) |
Mid-level-ontology.kif 1481-1483 |
If X is an instance of gun powder, then X is capable of doing explosion as a instrument |
(=>
(instance ?ED ExplosiveDevice)
(hasPurpose ?ED
(exists (?E ?D)
(and
(instance ?E Explosion)
(instrument ?E ?ED)
(causes ?E ?D)
(instance ?D Damaging))))) |
Mid-level-ontology.kif 19737-19745 |
If X is an instance of explosive device, then X has the purpose there exist Y, Z such that Y is an instance of explosion, X is an instrument for Y, Y causes Z, and Z is an instance of damaging |
(=>
(instance ?MINE LandMine)
(hasPurpose ?MINE
(exists (?L ?E ?M ?O)
(and
(instance ?L LandArea)
(located ?MINE ?L)
(instance ?E Explosion)
(instrument ?E ?MINE)
(locatedAtTime ?MINE
(WhenFn ?E) ?L)
(causes ?M ?E)
(instance ?M Motion)
(eventLocated ?M ?L)
(origin ?M ?O)
(orientation ?O ?MINE On)
(or
(instance ?O Human)
(instance ?O LandVehicle)))))) |
Mid-level-ontology.kif 19752-19770 |
If X is an instance of land mine, then All of the following hold: (1) X has the purpose there exist Y, Z,, , W (2) V such that Y is an instance of land area (3) X is located at Y (4) Z is an instance of explosion (5) X is an instrument for Z (6) X located at time the time of existence of Z for Y (7) W causes Z (8) W is an instance of motion (9) W is located at Y (10) W originates at V (11) V is on to X (12) V is an instance of human or V is an instance of land vehicle |
(=>
(instance ?S ExplosiveSubstance)
(capability Explosion instrument ?S)) |
Mid-level-ontology.kif 19775-19777 |
If X is an instance of explosive substance, then X is capable of doing explosion as a instrument |
(=>
(instance ?I IntermittentCombustionEngine)
(hasPurpose ?I
(exists (?E ?M)
(and
(instance ?E Explosion)
(instance ?M Motion)
(eventLocated ?E ?I)
(eventLocated ?M ?I)
(causes ?E ?M))))) |
Cars.kif 280-289 |
If X is an instance of intermittent combustion engine, then X has the purpose there exist Y, Z such that Y is an instance of explosion, Z is an instance of motion, Y is located at X, Z is located at X, and Y causes Z |
(=>
(and
(instance ?C Crankshaft)
(instance ?I IntermittentCombustionEngine)
(part ?I ?C))
(hasPurpose ?C
(exists (?E ?R)
(and
(instance ?E Explosion)
(instance ?R Rotating)
(patient ?R ?C)
(eventLocated ?R ?I)
(causes ?E ?R))))) |
Cars.kif 349-361 |
If X is an instance of crankshaft, Y is an instance of intermittent combustion engine, and Y is a part of X, then X has the purpose there exist Z, W such that Z is an instance of explosion, W is an instance of rotating, X is a patient of W, W is located at Y, and Z causes W |
(=>
(and
(instance ?TSC TwoStrokeCompression)
(eventLocated ?TSC ?E)
(instance ?E TwoStrokeEngine))
(exists (?C)
(and
(instance ?C Explosion)
(during ?C ?TSC)
(eventLocated ?C ?E)))) |
Cars.kif 491-500 |
If X is an instance of two stroke compression, X is located at Y, and Y is an instance of two stroke engine, then there exists Z such that Z is an instance of explosion, Z takes place during X, and Z is located at Y |
(=>
(and
(instance ?DUD AbsoluteDud)
(instance ?PROCESS TakingOff)
(patient ?PROCESS ?DUD))
(not
(exists (?EXPLOSION)
(and
(instance ?EXPLOSION Explosion)
(patient ?EXPLOSION ?DUD))))) |
MilitaryDevices.kif 1555-1564 |
If X is an instance of absolute dud, Y is an instance of taking off, and X is a patient of Y, then there doesn't exist Z such that Z is an instance of explosion and X is a patient of Z |
(=>
(instance ?S Shrapnel)
(exists (?B ?E)
(and
(instance ?B Bomb)
(instance ?E Explosion)
(instrument ?E ?B)
(holdsDuring
(ImmediatePastFn
(WhenFn ?E))
(part ?S ?B))
(holdsDuring
(ImmediateFutureFn
(WhenFn ?E))
(not
(part ?S ?B)))))) |
MilitaryDevices.kif 2260-2275 |
If X is an instance of shrapnel, then there exist Y, Z such that Y is an instance of bomb, Z is an instance of explosion, Y is an instrument for Z, X is a part of Y holds during immediately before the time of existence of Z, and X is not a part of Y holds during immediately after the time of existence of Z |
