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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - Lubricant
Lubricant(lubricant)drilling_fluid, drilling_mud, lube, lubricant, lubricating_substance, lubricator

appearance as argument number 1
-------------------------


s__documentation(s__Lubricant,s__EnglishLanguage,'"Any Substance that reduces Friction between two objects that are in contact and move with respect to one another. Note that this does not include CorpuscularObjects like BallBearings."')

Cars.kif 2991-2993
s__instance(s__Lubricant,s__SetOrClass)

s__subclass(s__Lubricant,s__Substance)

s__instance(s__Substance,s__SetOrClass)

Cars.kif 2989-2989 Lubricant is a subclass of substance

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


s__instance(s__Lubricant,s__SetOrClass)

s__instance(s__Grease,s__SetOrClass)

s__subclass(s__Grease,s__Lubricant)

Cars.kif 2995-2995 Grease is a subclass of lubricant
s__termFormat(s__EnglishLanguage,s__Lubricant,'"lubricant"')

Cars.kif 2990-2990

consequent
-------------------------


( ! [V__LP] :
   ((s__instance(V__LP,s__Lubricating) =>
       (( ? [V__L] :
           ((s__instance(V__L,s__Lubricant) &
               s__objectTransferred(V__LP,V__L))))))
   )
)

Cars.kif 3013-3018


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