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 21872-21873
(externalImage Bombing "http://upload.wikimedia.org/wikipedia/commons/3/ 3b/ Mirage2000D_3-3_Ardennes.jpg") pictureList.kif 4557-4557
(subclass Bombing Destruction) Mid-level-ontology.kif 21871-21871 Bombing è una sottoclasse di Distruggere

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


(subclass CarBombing Bombing) Mid-level-ontology.kif 21886-21886 CarBombing è una sottoclasse di Bombing
(subclass HandgrenadeAttack Bombing) Mid-level-ontology.kif 21912-21912 HandgrenadeAttack è una sottoclasse di Bombing
(subclass LetterBombAttack Bombing) Mid-level-ontology.kif 22086-22086 LetterBombAttack è una sottoclasse di Bombing
(subclass MortarAttack Bombing) Mid-level-ontology.kif 22103-22103 MortarAttack è una sottoclasse di Bombing
(subclass RocketMissileAttack Bombing) Mid-level-ontology.kif 22122-22122 RocketMissileAttack è una sottoclasse di Bombing
(subclass SuicideBombing Bombing) Mid-level-ontology.kif 22143-22143 SuicideBombing è una sottoclasse di Bombing
(termFormat ChineseLanguage Bombing "轰炸") domainEnglishFormat.kif 11579-11579
(termFormat ChineseTraditionalLanguage Bombing "轟炸") domainEnglishFormat.kif 11578-11578
(termFormat EnglishLanguage Bombing "bombing") domainEnglishFormat.kif 11577-11577

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


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


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