GreaseGun - Sigma Knowledge base Browser

appearance as argument number 1

(documentation GreaseGun EnglishLanguage "A Device used to inject Grease through a GreaseFitting or other mechanicm. This includes manual guns that use some sort of lever action for mechanical advantage as well as electric or battery-powered guns.")	Cars.kif 3015-3017
(subclass GreaseGun Device)	Cars.kif 3013-3013	Grease gun is a subclass of device

appearance as argument number 2

(termFormat EnglishLanguage GreaseGun "grease gun")

Cars.kif 3014-3014

antecedent

(=>
    (instance ?GG GreaseGun)
    (hasPurpose ?GG
        (exists (?P ?G)
            (and
                (instance ?G Grease)
                (instance ?P Putting)
                (instrument ?P ?GG)
                (objectTransferred ?P ?G)))))

Cars.kif 3019-3027