| Grenade
| |
| appearance as argument number 1 |
|
|
| (documentation Grenade EnglishLanguage "A larger projectile that is not self powered and launched by some ArtilleryCannon or MortarGun") | MilitaryDevices.kif 193-194 | |
| (externalImage Grenade "http://upload.wikimedia.org/wikipedia/commons/thumb/ 0/ 0d/ F1_grenade_DoD.jpg/ 270px-F1_grenade_DoD.jpg") | pictureList.kif 1126-1126 | |
| (subclass Grenade ExplosiveDevice) | MilitaryDevices.kif 191-191 | |
| (subclass Grenade Projectile) | MilitaryDevices.kif 190-190 |
| appearance as argument number 2 |
|
|
| (termFormat ChineseLanguage Grenade "手榴弹") | domainEnglishFormat.kif 26669-26669 | |
| (termFormat ChineseTraditionalLanguage Grenade "手榴彈") | domainEnglishFormat.kif 26668-26668 | |
| (termFormat EnglishLanguage Grenade "grenade") | domainEnglishFormat.kif 26667-26667 |
| consequent |
|
|
| (=> (and (instance ?SHOOTING Shooting) (instrument ?SHOOTING ?AC) (instance ?AC ArtilleryCannon)) (exists (?PROJ) (and (instrument ?SHOOTING ?PROJ) (instance ?PROJ (UnionFn Missile Grenade))))) |
MilitaryDevices.kif 179-188 | |
| (=> (and (instance ?SHOOTING Shooting) (instrument ?SHOOTING ?AC) (instance ?AC GrenadeLauncher)) (exists (?PROJ) (and (instrument ?SHOOTING ?PROJ) (instance ?PROJ Grenade)))) |
MilitaryDevices.kif 597-605 | |
| (=> (and (instance ?SHOOTING Shooting) (instrument ?SHOOTING ?MG) (instance ?MG MortarGun)) (exists (?PROJ) (and (instrument ?SHOOTING ?PROJ) (instance ?PROJ Grenade)))) |
MilitaryDevices.kif 198-206 |
|
|
|