| 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 est une sous-classe de destruction |
| appearance as argument number 2 |
|
|
| (subclass CarBombing Bombing) | Mid-level-ontology.kif 21833-21833 | CarBombing est une sous-classe de Bombing |
| (subclass HandgrenadeAttack Bombing) | Mid-level-ontology.kif 21859-21859 | HandgrenadeAttack est une sous-classe de Bombing |
| (subclass LetterBombAttack Bombing) | Mid-level-ontology.kif 22033-22033 | LetterBombAttack est une sous-classe de Bombing |
| (subclass MortarAttack Bombing) | Mid-level-ontology.kif 22050-22050 | MortarAttack est une sous-classe de Bombing |
| (subclass RocketMissileAttack Bombing) | Mid-level-ontology.kif 22069-22069 | RocketMissileAttack est une sous-classe de Bombing |
| (subclass SuicideBombing Bombing) | Mid-level-ontology.kif 22090-22090 | SuicideBombing est une sous-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 21826-21831 |
|
|
|