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

Formal Language: 


KB Term:  Term intersection
English Word: 

Sigma KEE - Explosion
Explosion(explosion)
airburst, big_bang, blow_up, blowup, detonate, detonation, explode, explosion, fragmentation, inflation, rocket_propulsion

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 17220-17221
(externalImage Explosion "http://articulatesoftware.com/SUMOpictures/holiday/ 4th_July/ explosion_1.png") pictureList.kif 420-420
(subclass Explosion Radiating) Mid-level-ontology.kif 17219-17219 Explosion is a subclass of radiating

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


(subclass ShrapnelExplosion Explosion) Medicine.kif 6294-6294 Shrapnel explosion is a subclass of explosion
(termFormat ChineseLanguage Explosion "爆炸") domainEnglishFormat.kif 22849-22849 Shrapnel explosion is a subclass of explosion
(termFormat ChineseTraditionalLanguage Explosion "爆炸") domainEnglishFormat.kif 22848-22848 Shrapnel explosion is a subclass of explosion
(termFormat EnglishLanguage Explosion "explosion") domainEnglishFormat.kif 22847-22847 Shrapnel explosion is a subclass of explosion

antecedent
-------------------------


(=>
    (instance ?EXPLOSION Explosion)
    (capability Damaging instrument ?EXPLOSION))
Mid-level-ontology.kif 17230-17232
(=>
    (instance ?EXPLOSION Explosion)
    (exists (?PROC)
        (and
            (instance ?PROC ChemicalProcess)
            (causes ?PROC ?EXPLOSION))))
Mid-level-ontology.kif 17223-17228

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 ?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 19397-19405
(=>
    (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 ?MINE LandMine)
    (hasPurpose ?MINE
        (exists (?L ?E ?M ?O)
            (and
                (instance ?L LandArea)
                (located ?MINE ?L)
                (instance ?E Explosion)
                (instrument ?E ?MINE)
                (locatedAtTime ?MINE
                    (WhenFn ?E) ?L)
                (causes ?M ?E)
                (instance ?M Motion)
                (eventLocated ?M ?L)
                (origin ?M ?O)
                (orientation ?O ?MINE On)
                (or
                    (instance ?O Human)
                    (instance ?O LandVehicle))))))
Mid-level-ontology.kif 19413-19431
(=>
    (instance ?P GunPowder)
    (capability Explosion instrument ?P))
Mid-level-ontology.kif 1574-1576
(=>
    (instance ?S ExplosiveSubstance)
    (capability Explosion instrument ?S))
Mid-level-ontology.kif 19436-19438


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