|
|
   GrenadeLauncher
|
|
|
| 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 | 榴弹发射器 是 重机枪 的 subclass |
| appearance as argument number 2 |
|
|
| (subclass MK19 GrenadeLauncher) | MilitaryDevices.kif 607-607 | Mk19 是 榴弹发射器 的 subclass |
| (termFormat ChineseLanguage GrenadeLauncher "榴弹发射器") | domainEnglishFormat.kif 26646-26646 | |
| (termFormat ChineseTraditionalLanguage GrenadeLauncher "榴彈發射器") | domainEnglishFormat.kif 26645-26645 | |
| (termFormat EnglishLanguage GrenadeLauncher "grenade launcher") | domainEnglishFormat.kif 26644-26644 |
| antecedent |
|
|
| (=> (and (instance ?SHOOTING Shooting) (instrument ?SHOOTING ?AC) (instance ?AC GrenadeLauncher)) (exists (?PROJ) (and (instrument ?SHOOTING ?PROJ) (instance ?PROJ Grenade)))) |
MilitaryDevices.kif 597-605 |
|
|
|
