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 16051-16052
(externalImage Explosion "http://articulatesoftware.com/SUMOpictures/holiday/ 4th_July/ explosion_1.png")	pictureList.kif 420-420
(subclass Explosion Radiating)	Mid-level-ontology.kif 16050-16050	Explosion is a subclass of radiating

appearance as argument number 2

(subclass ShrapnelExplosion Explosion)	Medicine.kif 6277-6277	Shrapnel explosion is a subclass of explosion
(termFormat ChineseLanguage Explosion "爆炸")	domainEnglishFormat.kif 22866-22866	Shrapnel explosion is a subclass of explosion
(termFormat ChineseTraditionalLanguage Explosion "爆炸")	domainEnglishFormat.kif 22865-22865	Shrapnel explosion is a subclass of explosion
(termFormat EnglishLanguage Explosion "explosion")	domainEnglishFormat.kif 22864-22864	Shrapnel explosion is a subclass of explosion

antecedent

(=> (and (instance ?PROCESS TakingOff) (patient ?PROCESS ?DUD) (not (exists (?EXPLOSION) (and (instance ?EXPLOSION Explosion) (patient ?EXPLOSION ?DUD))))) (instance ?DUD AbsoluteDud))	MilitaryDevices.kif 1409-1418	If a process is an instance of taking off and an entity is a patient of the process and 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, then the entity is an instance of absolute dud
(=> (instance ?EXPLOSION Explosion) (capability Damaging instrument ?EXPLOSION))	Mid-level-ontology.kif 16061-16063	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 16054-16059	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 ?DUD AbsoluteDud) (instance ?PROCESS TakingOff) (patient ?PROCESS ?DUD)) (not (exists (?EXPLOSION) (and (instance ?EXPLOSION Explosion) (patient ?EXPLOSION ?DUD)))))	MilitaryDevices.kif 1398-1407	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 ?ED ExplosiveDevice) (hasPurpose ?ED (exists (?E ?D) (and (instance ?E Explosion) (instrument ?E ?ED) (causes ?E ?D) (instance ?D Damaging)))))	Mid-level-ontology.kif 18104-18112	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 ?P GunPowder) (capability Explosion instrument ?P))	Mid-level-ontology.kif 1350-1352	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 18123-18125	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 2103-2118	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 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