Browsing Interface : Welcome guest : log in
Home |  Graph |  ]  KB:  Language:   

Formal Language: 



KB Term:  Term intersection
English Word: 

  GreaseGun

Sigma KEE - GreaseGun
GreaseGun(grease gun)

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 3032-3034
(subclass GreaseGun Device) Cars.kif 3030-3030 Grease gun is a subclass of device

appearance as argument number 2
-------------------------


(termFormat EnglishLanguage GreaseGun "grease gun") Cars.kif 3031-3031

antecedent
-------------------------


(=>
    (instance ?GG GreaseGun)
    (hasPurpose ?GG
        (exists (?P ?G)
            (and
                (instance ?G Grease)
                (instance ?P Putting)
                (instrument ?P ?GG)
                (objectTransferred ?P ?G)))))
Cars.kif 3036-3044


Show simplified definition (without tree view)
Show simplified definition (with tree view)

Show without tree


Sigma web home      Suggested Upper Merged Ontology (SUMO) web home
Sigma version 3.0 is open source software produced by Articulate Software and its partners