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 3091-3093
(subclass GreaseGun Device)	Cars.kif 3089-3089	Grease gun is a subclass of device

appearance as argument number 2

(termFormat EnglishLanguage GreaseGun "grease gun")

Cars.kif 3090-3090

antecedent

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

Cars.kif 3095-3103