TreeView Knowledge Base Browser

appearance as argument number 1

(subclass GrenadeLauncher HeavyMachineGun)	MilitaryDevices.kif 748-748	Grenade launcher is a subclass of heavy machine gun
(documentation GrenadeLauncher EnglishLanguage "A grenade launcher is an machine gun able to shoot grenades at high frequency.")	MilitaryDevices.kif 749-750	Grenade launcher is a subclass of heavy machine gun
(externalImage GrenadeLauncher "http://upload.wikimedia.org/wikipedia/commons/ thumb/ 2/ 2e/ XM307-01.jpg/ 180px_XM307-01.jpg")	pictureList.kif 1127-1127	Grenade launcher is a subclass of heavy machine gun

appearance as argument number 2

(subclass MK19 GrenadeLauncher)	MilitaryDevices.kif 764-764	Mk19 is a subclass of grenade launcher
(termFormat EnglishLanguage GrenadeLauncher "grenade launcher")	domainEnglishFormat.kif 26648-26648	Mk19 is a subclass of grenade launcher
(termFormat ChineseTraditionalLanguage GrenadeLauncher "榴彈發射器")	domainEnglishFormat.kif 26649-26649	Mk19 is a subclass of grenade launcher
(termFormat ChineseLanguage GrenadeLauncher "榴弹发射器")	domainEnglishFormat.kif 26650-26650	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))))

If X is an instance of shooting, Y is an instrument for X, and Y is an instance of grenade launcher, then there exists Z such that Z is an instrument for X and Z is an instance of grenade