Bombing(bombing) | atom-bomb, blast, bomb, bomb_out, bombard, carpet_bomb, dive-bomb, firebomb, glide-bomb, hydrogen-bomb, letter_bomb, nuke, pattern-bomb, shell, skip-bomb |
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 | Bombing is a subclass of destruction |
appearance as argument number 2 |
(subclass CarBombing Bombing) | Mid-level-ontology.kif 21834-21834 | Car bombing is a subclass of bombing |
(subclass HandgrenadeAttack Bombing) | Mid-level-ontology.kif 21860-21860 | Handgrenade attack is a subclass of bombing |
(subclass LetterBombAttack Bombing) | Mid-level-ontology.kif 22034-22034 | Letter bomb attack is a subclass of bombing |
(subclass MortarAttack Bombing) | Mid-level-ontology.kif 22051-22051 | Mortar attack is a subclass of bombing |
(subclass RocketMissileAttack Bombing) | Mid-level-ontology.kif 22070-22070 | Rocket missile attack is a subclass of bombing |
(subclass SuicideBombing Bombing) | Mid-level-ontology.kif 22091-22091 | Suicide bombing is a subclass of 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 21827-21832 |
|