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 14979-14980
(externalImage Explosion "http://www.adampease.org/Articulate/SUMOpictures/ pictures/ holiday/ 4th_July/ explosion_1.png") pictureList.kif 420-420
(subclass Explosion Radiating) Mid-level-ontology.kif 14978-14978

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


(termFormat ChineseLanguage Explosion "爆炸") domainEnglishFormat.kif 22839-22839
(termFormat ChineseTraditionalLanguage Explosion "爆炸") domainEnglishFormat.kif 22838-22838
(termFormat EnglishLanguage Explosion "explosion") domainEnglishFormat.kif 22837-22837

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 14989-14991
(=>
    (instance ?EXPLOSION Explosion)
    (exists (?PROC)
        (and
            (instance ?PROC ChemicalProcess)
            (causes ?PROC ?EXPLOSION))))
Mid-level-ontology.kif 14982-14987

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 16920-16928
(=>
    (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 1297-1299
(=>
    (instance ?S ExplosiveSubstance)
    (capability Explosion instrument ?S))
Mid-level-ontology.kif 16939-16941


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