defaultMinimumWidth
|
|
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 15833-15834 | |
(externalImage Explosion "http://articulatesoftware.com/SUMOpictures/holiday/ 4th_July/ explosion_1.png") | pictureList.kif 420-420 | |
(subclass Explosion Radiating) | Mid-level-ontology.kif 15832-15832 | 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 15843-15845 | |
(=> (instance ?EXPLOSION Explosion) (exists (?PROC) (and (instance ?PROC ChemicalProcess) (causes ?PROC ?EXPLOSION)))) |
Mid-level-ontology.kif 15836-15841 |
|
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 17846-17854 |
|
(=> (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 17865-17867 |
|
(=> (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 |
|