| 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 | Bombing est une sous-classe de destruction |
| appearance as argument number 2 |
|
|
| (subclass CarBombing Bombing) | Mid-level-ontology.kif 21834-21834 | CarBombing est une sous-classe de Bombing |
| (subclass HandgrenadeAttack Bombing) | Mid-level-ontology.kif 21860-21860 | HandgrenadeAttack est une sous-classe de Bombing |
| (subclass LetterBombAttack Bombing) | Mid-level-ontology.kif 22034-22034 | LetterBombAttack est une sous-classe de Bombing |
| (subclass MortarAttack Bombing) | Mid-level-ontology.kif 22051-22051 | MortarAttack est une sous-classe de Bombing |
| (subclass RocketMissileAttack Bombing) | Mid-level-ontology.kif 22070-22070 | RocketMissileAttack est une sous-classe de Bombing |
| (subclass SuicideBombing Bombing) | Mid-level-ontology.kif 22091-22091 | 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 21827-21832 |
|
|
|