| 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 17230-17231 | |
| (externalImage Explosion "http://articulatesoftware.com/SUMOpictures/holiday/ 4th_July/ explosion_1.png") | pictureList.kif 420-420 | |
| (subclass Explosion Radiating) | Mid-level-ontology.kif 17229-17229 | Explosion est une sous-classe de irradier |
| appearance as argument number 2 |
|
|
| (subclass ShrapnelExplosion Explosion) | Medicine.kif 6258-6258 | ShrapnelExplosion est une sous-classe de Explosion |
| (termFormat ChineseLanguage Explosion "爆炸") | domainEnglishFormat.kif 22860-22860 | ShrapnelExplosion est une sous-classe de Explosion |
| (termFormat ChineseTraditionalLanguage Explosion "爆炸") | domainEnglishFormat.kif 22859-22859 | ShrapnelExplosion est une sous-classe de Explosion |
| (termFormat EnglishLanguage Explosion "explosion") | domainEnglishFormat.kif 22858-22858 | ShrapnelExplosion est une sous-classe de 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 | |
| (=> (instance ?EXPLOSION Explosion) (capability Damaging instrument ?EXPLOSION)) |
Mid-level-ontology.kif 17240-17242 |
|
| (=> (instance ?EXPLOSION Explosion) (exists (?PROC) (and (instance ?PROC ChemicalProcess) (causes ?PROC ?EXPLOSION)))) |
Mid-level-ontology.kif 17233-17238 |
| consequent |
|
|
|
|
|