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 14630-14631
(externalImage Explosion "http://www.adampease.org/Articulate/SUMOpictures/ pictures/ holiday/ 4th_July/ explosion_1.png")	pictureList.kif 420-420
(subclass Explosion Radiating)	Mid-level-ontology.kif 14629-14629	Explosion is a subclass of radiating

appearance as argument number 2

(termFormat ChineseLanguage Explosion "爆炸")	domainEnglishFormat.kif 22839-22839
(termFormat ChineseTraditionalLanguage Explosion "爆炸")	domainEnglishFormat.kif 22838-22838
(termFormat EnglishLanguage Explosion "explosion")	domainEnglishFormat.kif 22837-22837

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 14640-14642	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 14633-14638	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 IntermittentCombustionEngine 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 2 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 2 and an entity 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 2
(=> (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 16571-16579	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 IntermittentCombustionEngine, 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 2 and the other entity is located at 2 and the entity causes the other entity
(=> (instance ?P GunPowder) (capability Explosion instrument ?P))	Mid-level-ontology.kif 1296-1298	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 16590-16592	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