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 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 est une sous-classe de irradier

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


(subclass ShrapnelExplosion Explosion) Medicine.kif 6294-6294 ShrapnelExplosion est une sous-classe de Explosion
(termFormat ChineseLanguage Explosion "爆炸") domainEnglishFormat.kif 22849-22849 ShrapnelExplosion est une sous-classe de Explosion
(termFormat ChineseTraditionalLanguage Explosion "爆炸") domainEnglishFormat.kif 22848-22848 ShrapnelExplosion est une sous-classe de Explosion
(termFormat EnglishLanguage Explosion "explosion") domainEnglishFormat.kif 22847-22847 ShrapnelExplosion est une sous-classe de Explosion

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


(=>
    (and
        (instance ?PROCESS TakingOff)
        (patient ?PROCESS ?DUD)
        (not
            (exists (?EXPLOSION)
                (and
                    (instance ?EXPLOSION Explosion)
                    (patient ?EXPLOSION ?DUD)))))
    (instance ?DUD AbsoluteDud))
MilitaryDevices.kif 1566-1575
(=>
    (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 ?DUD AbsoluteDud)
        (instance ?PROCESS TakingOff)
        (patient ?PROCESS ?DUD))
    (not
        (exists (?EXPLOSION)
            (and
                (instance ?EXPLOSION Explosion)
                (patient ?EXPLOSION ?DUD)))))
MilitaryDevices.kif 1555-1564
(=>
    (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
(=>
    (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 2260-2275


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