Explosion |
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 15860-15861 | |
(externalImage Explosion "http://articulatesoftware.com/SUMOpictures/holiday/ 4th_July/ explosion_1.png") | pictureList.kif 420-420 | |
(subclass Explosion Radiating) | Mid-level-ontology.kif 15859-15859 | Explosion e' uma sub-classe de Irradiar |
appearance as argument number 2 |
(subclass ShrapnelExplosion Explosion) | Medicine.kif 6277-6277 | ShrapnelExplosion e' uma sub-classe de Explosion |
(termFormat ChineseLanguage Explosion "爆炸") | domainEnglishFormat.kif 22846-22846 | |
(termFormat ChineseTraditionalLanguage Explosion "爆炸") | domainEnglishFormat.kif 22845-22845 | |
(termFormat EnglishLanguage Explosion "explosion") | domainEnglishFormat.kif 22844-22844 |
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 | |
(=> (instance ?EXPLOSION Explosion) (capability Damaging instrument ?EXPLOSION)) |
Mid-level-ontology.kif 15870-15872 |
|
(=> (instance ?EXPLOSION Explosion) (exists (?PROC) (and (instance ?PROC ChemicalProcess) (causes ?PROC ?EXPLOSION)))) |
Mid-level-ontology.kif 15863-15868 |
consequent |