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

Formal Language: 

KB Term:  Term intersection
English Word: 

Sigma KEE - Bomb

appearance as argument number 1

(documentation Bomb EnglishLanguage "A weapon that explodes in order to cause damage.") Mid-level-ontology.kif 21824-21824
(externalImage Bomb " bomb.png") pictureList.kif 279-279
(subclass Bomb ExplosiveDevice) Mid-level-ontology.kif 21823-21823
(subclass Bomb Weapon) Mid-level-ontology.kif 21822-21822

appearance as argument number 2

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


    (instance ?M Missile)
    (exists (?B)
            (instance ?B Bomb)
            (part ?B ?M))))
Mid-level-ontology.kif 17727-17732
    (instance ?S Shrapnel)
    (exists (?B ?E)
            (instance ?B Bomb)
            (instance ?E Explosion)
            (instrument ?E ?B)
                    (WhenFn ?E))
                (part ?S ?B))
                    (WhenFn ?E))
                    (part ?S ?B))))))
MilitaryDevices.kif 2103-2118
    (instance ?X Bombing)
    (exists (?BOMB)
            (instance ?BOMB Bomb)
            (instrument ?X ?BOMB))))
Mid-level-ontology.kif 21826-21831
    (instance ?X CarBombing)
    (exists (?BOMB ?CAR)
            (instance ?BOMB Bomb)
            (instance ?CAR TransportationDevice)
            (instrument ?X ?CAR)
            (instrument ?X ?BOMB)
            (connected ?CAR ?BOMB))))
Mid-level-ontology.kif 21838-21846

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