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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - PetroleumLubricant
PetroleumLubricant

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


(documentation PetroleumLubricant EnglishLanguage "PetroleumLubricant is the subclass of RefinedPetroleumProducts that are lubricants.") Economy.kif 6051-6052
(externalImage PetroleumLubricant "http://upload.wikimedia.org/wikipedia/ commons/ 6/ 63/ Motor_oil.jpg") pictureList.kif 2504-2504
(subclass PetroleumLubricant RefinedPetroleumProduct) Economy.kif 6050-6050

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


(industryProductType PetroleumLubricatingOilAndGreaseManufacturing PetroleumLubricant) Economy.kif 1845-1845
(subclass MotorOil PetroleumLubricant) Economy.kif 6054-6054
(termFormat ChineseLanguage PetroleumLubricant "石油润滑剂") domainEnglishFormat.kif 45513-45513
(termFormat ChineseTraditionalLanguage PetroleumLubricant "石油潤滑劑") domainEnglishFormat.kif 45512-45512
(termFormat EnglishLanguage PetroleumLubricant "petroleum lubricant") domainEnglishFormat.kif 45511-45511


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