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 | Grenade e' uma sub-classe de ExplosiveDevice |
(subclass Grenade Projectile) | MilitaryDevices.kif 190-190 | Grenade e' uma sub-classe de Projectile |
appearance as argument number 2 |
(termFormat ChineseLanguage Grenade "手榴弹") | domainEnglishFormat.kif 26640-26640 | |
(termFormat ChineseTraditionalLanguage Grenade "手榴彈") | domainEnglishFormat.kif 26639-26639 | |
(termFormat EnglishLanguage Grenade "grenade") | domainEnglishFormat.kif 26638-26638 |
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 |