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

Formal Language: 



KB Term:  Term intersection
English Word: 

  Bombing

Sigma KEE - Bombing
Bombing

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


(documentation Bombing EnglishLanguage "An act of Destruction where the thing destroyed is destroyed by means of an explosive device.") Mid-level-ontology.kif 21133-21134
(externalImage Bombing "http://upload.wikimedia.org/wikipedia/commons/3/ 3b/ Mirage2000D_3-3_Ardennes.jpg") pictureList.kif 4558-4558
(subclass Bombing Destruction) Mid-level-ontology.kif 21132-21132

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


(subclass CarBombing Bombing) Mid-level-ontology.kif 21147-21147
(subclass HandgrenadeAttack Bombing) Mid-level-ontology.kif 21173-21173
(subclass LetterBombAttack Bombing) Mid-level-ontology.kif 21345-21345
(subclass MortarAttack Bombing) Mid-level-ontology.kif 21362-21362
(subclass RocketMissileAttack Bombing) Mid-level-ontology.kif 21381-21381
(subclass SuicideBombing Bombing) Mid-level-ontology.kif 21402-21402
(termFormat ChineseLanguage Bombing "轰炸") domainEnglishFormat.kif 11582-11582
(termFormat ChineseTraditionalLanguage Bombing "轟炸") domainEnglishFormat.kif 11581-11581
(termFormat EnglishLanguage Bombing "bombing") domainEnglishFormat.kif 11580-11580

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


(=>
    (instance ?X Bombing)
    (exists (?BOMB)
        (and
            (instance ?BOMB Bomb)
            (instrument ?X ?BOMB))))
Mid-level-ontology.kif 21140-21145


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