| 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 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 is a subclass of destruction |
| appearance as argument number 2 |
|
|
| (subclass CarBombing Bombing) | Mid-level-ontology.kif 21833-21833 | Car bombing is a subclass of bombing |
| (subclass HandgrenadeAttack Bombing) | Mid-level-ontology.kif 21859-21859 | Handgrenade attack is a subclass of bombing |
| (subclass LetterBombAttack Bombing) | Mid-level-ontology.kif 22033-22033 | Letter bomb attack is a subclass of bombing |
| (subclass MortarAttack Bombing) | Mid-level-ontology.kif 22050-22050 | Mortar attack is a subclass of bombing |
| (subclass RocketMissileAttack Bombing) | Mid-level-ontology.kif 22069-22069 | Rocket missile attack is a subclass of bombing |
| (subclass SuicideBombing Bombing) | Mid-level-ontology.kif 22090-22090 | 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 21826-21831 |
|
|
|
|