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 20056-20056
(externalImage Bomb " tools/ weapons/ bomb.png") pictureList.kif 279-279
(subclass Bomb ExplosiveDevice) Mid-level-ontology.kif 20055-20055 炸弹爆炸装置subclass
(subclass Bomb Weapon) Mid-level-ontology.kif 20054-20054 炸弹武器subclass

appearance as argument number 2

(subclass HandGrenade Bomb) Mid-level-ontology.kif 20097-20097 手榴弹炸弹subclass
(subclass MolotovCocktail Bomb) MilitaryDevices.kif 1249-1249 莫洛托夫鸡尾酒炸弹subclass
(termFormat ChineseLanguage Bomb "炸弹") domainEnglishFormat.kif 11570-11570
(termFormat ChineseTraditionalLanguage Bomb "炸彈") domainEnglishFormat.kif 11569-11569
(termFormat EnglishLanguage Bomb "bomb") domainEnglishFormat.kif 11568-11568


    (instance ?M Missile)
    (exists (?B)
            (instance ?B Bomb)
            (part ?B ?M))))
Mid-level-ontology.kif 15907-15912
    (instance ?X Bombing)
    (exists (?BOMB)
            (instance ?BOMB Bomb)
            (instrument ?X ?BOMB))))
Mid-level-ontology.kif 20058-20063
    (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 20070-20078

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