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

Formal Language: 



KB Term:  Term intersection
English Word: 

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 20051-20052
(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 20050-20050

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


(subclass CarBombing Bombing) Mid-level-ontology.kif 20065-20065
(subclass HandgrenadeAttack Bombing) Mid-level-ontology.kif 20091-20091
(subclass LetterBombAttack Bombing) Mid-level-ontology.kif 20263-20263
(subclass MortarAttack Bombing) Mid-level-ontology.kif 20280-20280
(subclass RocketMissileAttack Bombing) Mid-level-ontology.kif 20299-20299
(subclass SuicideBombing Bombing) Mid-level-ontology.kif 20320-20320
(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 20058-20063


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