Explosion - Sigma Knowledge base Browser

Browsing Interface : Welcome guest : log in

[ Home | Graph | ] KB: Language:
Formal Language:

KB Term:			Term intersection

English Word:

Sigma KEE - Explosion

Explosion(explosion)

airburst, big_bang, blow_up, blowup, detonate, detonation, explode, explosion, fragmentation, inflation, rocket_propulsion

appearance as argument number 1

(documentation Explosion EnglishLanguage "Any sudden and massive release of energy that is the product of a chemical reaction.")	Mid-level-ontology.kif 17220-17221
(externalImage Explosion "http://articulatesoftware.com/SUMOpictures/holiday/ 4th_July/ explosion_1.png")	pictureList.kif 420-420
(subclass Explosion Radiating)	Mid-level-ontology.kif 17219-17219	Explosion is a subclass of radiating

appearance as argument number 2

(subclass ShrapnelExplosion Explosion)	Medicine.kif 6294-6294	Shrapnel explosion is a subclass of explosion
(termFormat ChineseLanguage Explosion "爆炸")	domainEnglishFormat.kif 22849-22849	Shrapnel explosion is a subclass of explosion
(termFormat ChineseTraditionalLanguage Explosion "爆炸")	domainEnglishFormat.kif 22848-22848	Shrapnel explosion is a subclass of explosion
(termFormat EnglishLanguage Explosion "explosion")	domainEnglishFormat.kif 22847-22847	Shrapnel explosion is a subclass of explosion

antecedent

(=> (instance ?EXPLOSION Explosion) (capability Damaging instrument ?EXPLOSION))	Mid-level-ontology.kif 17230-17232	If an object is an instance of explosion, then the object is capable of doing damaging as a instrument
(=> (instance ?EXPLOSION Explosion) (exists (?PROC) (and (instance ?PROC ChemicalProcess) (causes ?PROC ?EXPLOSION))))	Mid-level-ontology.kif 17223-17228	If a process is an instance of explosion, then there exists another process such that the other process is an instance of chemical process and the other process causes the process

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 ?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 ?ED ExplosiveDevice) (hasPurpose ?ED (exists (?E ?D) (and (instance ?E Explosion) (instrument ?E ?ED) (causes ?E ?D) (instance ?D Damaging)))))	Mid-level-ontology.kif 19397-19405	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 19413-19431	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 19436-19438	If an object is an instance of explosive substance, then the object is capable of doing explosion as a instrument

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

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