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 21820-21821
(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 21819-21819 子類 轟炸 and Destruction

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


(subclass CarBombing Bombing) Mid-level-ontology.kif 21834-21834 子類 汽車爆炸 and 轟炸
(subclass HandgrenadeAttack Bombing) Mid-level-ontology.kif 21860-21860 子類 手榴彈襲擊 and 轟炸
(subclass LetterBombAttack Bombing) Mid-level-ontology.kif 22034-22034 子類 信件炸彈襲擊 and 轟炸
(subclass MortarAttack Bombing) Mid-level-ontology.kif 22051-22051 子類 迫擊砲襲擊 and 轟炸
(subclass RocketMissileAttack Bombing) Mid-level-ontology.kif 22070-22070 子類 火箭導彈襲擊 and 轟炸
(subclass SuicideBombing Bombing) Mid-level-ontology.kif 22091-22091 子類 自殺性爆炸事件 and 轟炸
(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 21827-21832


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