consequent

(=>     (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 an object is an instance of crankshaft and another object is an instance of intermittent combustion engine and the other object is a part of the object, then the object has the purpose there exist an entity and another entity such that the entity is an instance of explosion and the other entity is an instance of rotating and the object is a patient of the other entity and the other entity is located at the other object and the entity causes the other entity
(=>     (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 an entity is an instance of absolute dud and a process is an instance of taking off and the entity is a patient of the process, then there doesn't exist another process such that the other process is an instance of explosion and the entity is a patient of the other process
(=>     (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 a time interval is an instance of two stroke compression and the time interval is located at an object and the object is an instance of two stroke engine, then there exists another time interval such that the other time interval is an instance of explosion and the other time interval takes place during the time interval and the other time interval is located at the object
(=>     (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 a hole is an instance of crater, then there exist a self connected object, a process,, , an object and another object such that the hole is a hole in the self connected object and a third object is a superficial part of the host of the hole the hole and the process is an instance of impacting and the object is an instrument for the process and the object is an instance of meteorite or the process is an instance of explosion and the other object is an instrument for the process and the other object is an instance of bomb or the process is an instance of volcanic eruption and the hole is a result of the process
(=>     (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 19383-19391	If a physical is an instance of explosive device, then the physical has the purpose there exist an entity and another entity such that the entity is an instance of explosion and the physical is an instrument for the entity and the entity causes the other entity and the other entity is an instance of damaging
(=>     (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 a physical is an instance of intermittent combustion engine, then the physical has the purpose there exist an entity and another entity such that the entity is an instance of explosion and the other entity is an instance of motion and the entity is located at the physical and the other entity is located at the physical and the entity causes the other entity
(=>     (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 19399-19417	If a physical is an instance of land mine, then the physical has the purpose there exist an entity, another entity,, , a third entity and a fourth entity such that the entity is an instance of land area and the physical is located at the entity and the other entity is an instance of explosion and the physical is an instrument for the other entity and the physical located at time the time of existence of the other entity for the entity and the third entity causes the other entity and the third entity is an instance of motion and the third entity is located at the entity and the third entity originates at the fourth entity and the fourth entity is on to the physical and the fourth entity is an instance of human or the fourth entity is an instance of land vehicle
(=>     (instance ?P GunPowder)     (capability Explosion instrument ?P))	Mid-level-ontology.kif 1574-1576	If an object is an instance of gun powder, then the object is capable of doing explosion as a instrument
(=>     (instance ?S ExplosiveSubstance)     (capability Explosion instrument ?S))	Mid-level-ontology.kif 19422-19424	If an object is an instance of explosive substance, then the object is capable of doing explosion as a instrument
(=>     (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 an entity is an instance of shrapnel, then there exist an object and a process such that the object is an instance of bomb and the process is an instance of explosion and the object is an instrument for the process and the entity is a part of the object holds during immediately before the time of existence of the process and the entity is not a part of the object holds during immediately after the time of existence of the process

Show simplified definition (without tree view)
Show simplified definition (with tree view)

Show without tree

Sigma web home      Suggested Upper Merged Ontology (SUMO) web home
Sigma version 3.0 is open source software produced by Articulate Software and its partners