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

Formal Language: 



KB Term:  Term intersection
English Word: 

  Elation

Sigma KEE - Bomb
Bomb

appearance as argument number 1
-------------------------


(documentation Bomb EnglishLanguage "A weapon that explodes in order to cause damage.") Mid-level-ontology.kif 21877-21877
(externalImage Bomb "http://articulatesoftware.com/SUMOpictures/tools/weapons/ bomb.png") pictureList.kif 279-279
(subclass Bomb ExplosiveDevice) Mid-level-ontology.kif 21876-21876 Bomb est une sous-classe de ExplosiveDevice
(subclass Bomb Weapon) Mid-level-ontology.kif 21875-21875 Bomb est une sous-classe de arme

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


(initialPart Shrapnel Bomb) MilitaryDevices.kif 2101-2101 initialPart Shrapnel and Bomb
(subclass HandGrenade Bomb) Mid-level-ontology.kif 21918-21918 HandGrenade est une sous-classe de Bomb
(subclass IED Bomb) Medicine.kif 6072-6072 IED est une sous-classe de Bomb
(subclass MolotovCocktail Bomb) MilitaryDevices.kif 1249-1249 MolotovCocktail est une sous-classe de Bomb
(termFormat ChineseLanguage Bomb "炸弹") domainEnglishFormat.kif 11567-11567
(termFormat ChineseTraditionalLanguage Bomb "炸彈") domainEnglishFormat.kif 11566-11566
(termFormat EnglishLanguage Bomb "bomb") domainEnglishFormat.kif 11565-11565

consequent
-------------------------


(=>
    (instance ?M Missile)
    (exists (?B)
        (and
            (instance ?B Bomb)
            (part ?B ?M))))
Mid-level-ontology.kif 17755-17760
(=>
    (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
(=>
    (instance ?X Bombing)
    (exists (?BOMB)
        (and
            (instance ?BOMB Bomb)
            (instrument ?X ?BOMB))))
Mid-level-ontology.kif 21879-21884
(=>
    (instance ?X CarBombing)
    (exists (?BOMB ?CAR)
        (and
            (instance ?BOMB Bomb)
            (instance ?CAR TransportationDevice)
            (instrument ?X ?CAR)
            (instrument ?X ?BOMB)
            (connected ?CAR ?BOMB))))
Mid-level-ontology.kif 21891-21899


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

Show without tree


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