Browsing Interface : Welcome guest : log in
Home |  Graph |  ]  KB:  Language:   

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - Explosion
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 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

appearance as argument number 2
-------------------------


(subclass ShrapnelExplosion Explosion) Medicine.kif 6277-6277
(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


Show full definition with tree view
Show simplified definition (without tree view)
Show simplified definition (with tree view)



Sigma web home      Suggested Upper Merged Ontology (SUMO) web home
Sigma version 3.0 is open source software produced by Articulate Software and its partners