| GrenadeLauncher(grenade launcher)
|
| appearance as argument number 1 |
|
| (documentation GrenadeLauncher EnglishLanguage "A grenade launcher is an machine gun able to shoot grenades at high frequency.") | MilitaryDevices.kif 592-593 | |
| (externalImage GrenadeLauncher "http://upload.wikimedia.org/wikipedia/commons/ thumb/ 2/ 2e/ XM307-01.jpg/ 180px-XM307-01.jpg") | pictureList.kif 1127-1127 | |
| (subclass GrenadeLauncher HeavyMachineGun) | MilitaryDevices.kif 591-591 | Grenade launcher is a subclass of heavy machine gun |
| appearance as argument number 2 |
|
|
| (subclass MK19 GrenadeLauncher) | MilitaryDevices.kif 607-607 | Mk19 is a subclass of grenade launcher |
| (termFormat ChineseLanguage GrenadeLauncher "榴弹发射器") | domainEnglishFormat.kif 26680-26680 | Mk19 is a subclass of grenade launcher |
| (termFormat ChineseTraditionalLanguage GrenadeLauncher "榴彈發射器") | domainEnglishFormat.kif 26679-26679 | Mk19 is a subclass of grenade launcher |
| (termFormat EnglishLanguage GrenadeLauncher "grenade launcher") | domainEnglishFormat.kif 26678-26678 | Mk19 is a subclass of grenade launcher |
| antecedent |
|
|
| (=> (and (instance ?SHOOTING Shooting) (instrument ?SHOOTING ?AC) (instance ?AC GrenadeLauncher)) (exists (?PROJ) (and (instrument ?SHOOTING ?PROJ) (instance ?PROJ Grenade)))) |
MilitaryDevices.kif 597-605 |
|
|
|
|