GreaseGun
|
|
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 3038-3040 | |
(subclass GreaseGun Device) | Cars.kif 3036-3036 |
appearance as argument number 2 |
(termFormat EnglishLanguage GreaseGun "grease gun") | Cars.kif 3037-3037 |
antecedent |
(=> (instance ?GG GreaseGun) (hasPurpose ?GG (exists (?P ?G) (and (instance ?G Grease) (instance ?P Putting) (instrument ?P ?GG) (objectTransferred ?P ?G))))) |
Cars.kif 3042-3050 |