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 15832-15833 | |
(externalImage Explosion "http://articulatesoftware.com/SUMOpictures/holiday/ 4th_July/ explosion_1.png") | pictureList.kif 420-420 | |
(subclass Explosion Radiating) | Mid-level-ontology.kif 15831-15831 | Explosion ist eine teilkategorie von Radiating |
appearance as argument number 2 |
(subclass ShrapnelExplosion Explosion) | Medicine.kif 6277-6277 | ShrapnelExplosion ist eine teilkategorie von 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 15842-15844 | |
(=> (instance ?EXPLOSION Explosion) (exists (?PROC) (and (instance ?PROC ChemicalProcess) (causes ?PROC ?EXPLOSION)))) |
Mid-level-ontology.kif 15835-15840 |
|
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 |
|
(=> (and (instance ?DUD AbsoluteDud) (instance ?PROCESS TakingOff) (patient ?PROCESS ?DUD)) (not (exists (?EXPLOSION) (and (instance ?EXPLOSION Explosion) (patient ?EXPLOSION ?DUD))))) |
MilitaryDevices.kif 1398-1407 |
|
(=> (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 |
|
(=> (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 17845-17853 |
|
(=> (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 |
|
(=> (instance ?P GunPowder) (capability Explosion instrument ?P)) |
Mid-level-ontology.kif 1357-1359 | |
(=> (instance ?S ExplosiveSubstance) (capability Explosion instrument ?S)) |
Mid-level-ontology.kif 17864-17866 |
|
(=> (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 |
|