Browsing Interface : Welcome guest : log in
|
Browsing Interface : Welcome guest : log in |
[
Home |
Graph |
LogLearn |
Editor |
]
KB:
Language:
Formal Language:
|
| HandGrenadeAttack(hand grenade attack) |
| appearance as argument number 1 |
|
| (subclass HandGrenadeAttack Bombing) | Mid-level-ontology.kif 24149-24149 | Hand grenade attack is a subclass of bombing |
| (subclass HandGrenadeAttack Throwing) | Mid-level-ontology.kif 24150-24150 | Hand grenade attack is a subclass of throwing |
| (documentation HandGrenadeAttack EnglishLanguage "An attack in which a HandGrenade is employed as an explosive device for the purpose of Destruction. A case in which a hand grenade is used as a blunt striking object in an attack would not be in this class.") | Mid-level-ontology.kif 24152-24155 | Hand grenade attack is a subclass of throwing |
| appearance as argument number 2 |
|
|
| (termFormat EnglishLanguage HandGrenadeAttack "hand grenade attack") | Mid-level-ontology.kif 24151-24151 |
| antecedent |
|
|
| (=> (instance ?X HandGrenadeAttack) (exists (?G) (and (instance ?G HandGrenade) (objectTransferred ?X ?G)))) |
Mid-level-ontology.kif 24170-24175 | If X is an instance of hand grenade attack, then there exists Y such that Y is an instance of hand grenade and the object transferred in X is Y |
|