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

Formal Language: 



KB Term:  Term intersection
English Word: 

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 18298-18298
(externalImage Bomb "http://www.adampease.org/Articulate/SUMOpictures/pictures/ tools/ weapons/ bomb.png") pictureList.kif 279-279
(subclass Bomb ExplosiveDevice) Mid-level-ontology.kif 18297-18297
(subclass Bomb Weapon) Mid-level-ontology.kif 18296-18296

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


(subclass HandGrenade Bomb) Mid-level-ontology.kif 18339-18339
(subclass MolotovCocktail Bomb) MilitaryDevices.kif 1249-1249
(termFormat ChineseLanguage Bomb "炸弹") domainEnglishFormat.kif 11570-11570
(termFormat ChineseTraditionalLanguage Bomb "炸彈") domainEnglishFormat.kif 11569-11569
(termFormat EnglishLanguage Bomb "bomb") domainEnglishFormat.kif 11568-11568

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


(=>
    (instance ?M Missile)
    (exists (?B)
        (and
            (instance ?B Bomb)
            (part ?B ?M))))
Mid-level-ontology.kif 14308-14313
(=>
    (instance ?X Bombing)
    (exists (?BOMB)
        (and
            (instance ?BOMB Bomb)
            (instrument ?X ?BOMB))))
Mid-level-ontology.kif 18300-18305
(=>
    (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 18312-18320


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