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 21819-21820
(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 21818-21818 Bombing破壊subclass では %n

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


(subclass CarBombing Bombing) Mid-level-ontology.kif 21833-21833 CarBombingBombingsubclass では %n
(subclass HandgrenadeAttack Bombing) Mid-level-ontology.kif 21859-21859 HandgrenadeAttackBombingsubclass では %n
(subclass LetterBombAttack Bombing) Mid-level-ontology.kif 22033-22033 LetterBombAttackBombingsubclass では %n
(subclass MortarAttack Bombing) Mid-level-ontology.kif 22050-22050 MortarAttackBombingsubclass では %n
(subclass RocketMissileAttack Bombing) Mid-level-ontology.kif 22069-22069 RocketMissileAttackBombingsubclass では %n
(subclass SuicideBombing Bombing) Mid-level-ontology.kif 22090-22090 SuicideBombingBombingsubclass では %n
(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 21826-21831


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