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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - MotorOil
MotorOil

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


(documentation MotorOil EnglishLanguage "MotorOil is the subclass of PetroleumLubricants that are used to lubricate motors.") Economy.kif 5940-5941
(subclass MotorOil PetroleumLubricant) Economy.kif 5939-5939

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


(manufacturer Valvoline MotorOil) Medicine.kif 3848-3848
(termFormat ChineseLanguage MotorOil "机油") domainEnglishFormat.kif 38835-38835
(termFormat ChineseTraditionalLanguage MotorOil "機油") domainEnglishFormat.kif 38834-38834
(termFormat EnglishLanguage MotorOil "motor oil") domainEnglishFormat.kif 38833-38833


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