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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - GreaseGun
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 3032-3034
(subclass GreaseGun Device) Cars.kif 3030-3030

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 full definition with tree view
Show simplified definition (without tree view)
Show simplified definition (with tree view)



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