| SuicideBombing(suicide bombing)
| | suicide_bombing |
| appearance as argument number 1 |
|
|
| (documentation SuicideBombing EnglishLanguage "A bomb attack in which the bomber intends to blow himself up during the course of the attack. The bomber is the delivery mechanism for the explosive and the bomb is typically in close contact with the bomber, such as being strapped around his torso. This action is distinguished from actions in which the bomber merely happens to be blown up by his own bomb in that the bomber knows that he is committing suicide.") | Mid-level-ontology.kif 22376-22382 | |
| (externalImage SuicideBombing "http://upload.wikimedia.org/wikipedia/commons/ 2/ 23/ Rajiv_Gandhi_Memorial_bombsite.jpg") | pictureList.kif 6905-6905 | |
| (subclass SuicideBombing Bombing) | Mid-level-ontology.kif 22374-22374 | Suicide bombing is a subclass of bombing |
| (subclass SuicideBombing Killing) | Mid-level-ontology.kif 22375-22375 | Suicide bombing is a subclass of killing |
| appearance as argument number 2 |
|
|
| (termFormat ChineseLanguage SuicideBombing "自杀性爆炸事件") | domainEnglishFormat.kif 56051-56051 | |
| (termFormat ChineseTraditionalLanguage SuicideBombing "自殺性爆炸事件") | domainEnglishFormat.kif 56050-56050 | |
| (termFormat EnglishLanguage SuicideBombing "suicide bombing") | domainEnglishFormat.kif 56049-56049 |
| antecedent |
|
|
| (=> (and (instance ?X SuicideBombing) (agent ?X ?P)) (believes ?P (holdsDuring (FutureFn (WhenFn ?X)) (attribute ?P Dead)))) |
Mid-level-ontology.kif 22394-22402 |
|
| (=> (instance ?X SuicideBombing) (exists (?A) (and (agent ?X ?A) (holdsDuring (FutureFn (WhenFn ?X)) (attribute ?A Dead))))) |
Mid-level-ontology.kif 22384-22392 |
|
|
|
|