Browsing Interface : Welcome guest : log in
|
Browsing Interface : Welcome guest : log in |
[
Home |
Graph |
LogLearn |
Editor |
]
KB:
Language:
Formal Language:
|
SuicideBombing(suicide bombing)
|  | suicide_bombing |
| appearance as argument number 1 |
|
|
| (subclass SuicideBombing Bombing) | Mid-level-ontology.kif 24382-24382 | Suicide bombing is a subclass of bombing |
| (subclass SuicideBombing Killing) | Mid-level-ontology.kif 24383-24383 | Suicide bombing is a subclass of killing |
| (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 24384-24390 | Suicide bombing is a subclass of killing |
| (externalImage SuicideBombing "http://upload.wikimedia.org/wikipedia/commons/ 2/ 23/ Rajiv_Gandhi_Memorial_bombsite.jpg") | pictureList.kif 6904-6904 | Suicide bombing is a subclass of killing |
| appearance as argument number 2 |
|
|
| antecedent |
|
|
| (=> (instance ?X SuicideBombing) (exists (?A) (and (agent ?X ?A) (holdsDuring (FutureFn (WhenFn ?X)) (attribute ?A Dead))))) |
Mid-level-ontology.kif 24392-24400 | If X is an instance of suicide bombing, then there exists Y such that Y is an agent of X and dead is an attribute of Y holds during after the time of existence of X |
| (=> (and (instance ?X SuicideBombing) (agent ?X ?P)) (believes ?P (holdsDuring (FutureFn (WhenFn ?X)) (attribute ?P Dead)))) |
Mid-level-ontology.kif 24402-24410 | If X is an instance of suicide bombing and Y is an agent of X, then Y believes dead is an attribute of Y holds during after the time of existence of X |
|