|
|
   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 e' uma sub-classe de Destrucao |
| appearance as argument number 2 |
|
|
| (subclass CarBombing Bombing) | Mid-level-ontology.kif 21886-21886 | CarBombing e' uma sub-classe de Bombing |
| (subclass HandgrenadeAttack Bombing) | Mid-level-ontology.kif 21912-21912 | HandgrenadeAttack e' uma sub-classe de Bombing |
| (subclass LetterBombAttack Bombing) | Mid-level-ontology.kif 22086-22086 | LetterBombAttack e' uma sub-classe de Bombing |
| (subclass MortarAttack Bombing) | Mid-level-ontology.kif 22103-22103 | MortarAttack e' uma sub-classe de Bombing |
| (subclass RocketMissileAttack Bombing) | Mid-level-ontology.kif 22122-22122 | RocketMissileAttack e' uma sub-classe de Bombing |
| (subclass SuicideBombing Bombing) | Mid-level-ontology.kif 22143-22143 | SuicideBombing e' uma sub-classe de 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 |
|
|
|
