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 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 15870-15872 | |
(=> (instance ?EXPLOSION Explosion) (exists (?PROC) (and (instance ?PROC ChemicalProcess) (causes ?PROC ?EXPLOSION)))) |
Mid-level-ontology.kif 15863-15868 |
|
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 17873-17881 |
|
(=> (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 1350-1352 | |
(=> (instance ?S ExplosiveSubstance) (capability Explosion instrument ?S)) |
Mid-level-ontology.kif 17892-17894 |
|
(=> (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 |
|