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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - PetroleumLubricant
PetroleumLubricant(petroleum lubricant)

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


(documentation PetroleumLubricant EnglishLanguage "PetroleumLubricant is the subclass of RefinedPetroleumProducts that are lubricants.") Economy.kif 5936-5937
(externalImage PetroleumLubricant "http://upload.wikimedia.org/wikipedia/ commons/ 6/ 63/ Motor_oil.jpg") pictureList.kif 2505-2505
(subclass PetroleumLubricant RefinedPetroleumProduct) Economy.kif 5935-5935 Petroleum lubricant is a subclass of refined petroleum product

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


(industryProductType PetroleumLubricatingOilAndGreaseManufacturing PetroleumLubricant) Economy.kif 1845-1845 Petroleum lubricant is an industry product type of petroleum lubricating oil and grease manufacturing
(subclass MotorOil PetroleumLubricant) Economy.kif 5939-5939 Motor oil is a subclass of petroleum lubricant
(termFormat ChineseLanguage PetroleumLubricant "石油润滑剂") domainEnglishFormat.kif 45518-45518 Motor oil is a subclass of petroleum lubricant
(termFormat ChineseTraditionalLanguage PetroleumLubricant "石油潤滑劑") domainEnglishFormat.kif 45517-45517 Motor oil is a subclass of petroleum lubricant
(termFormat EnglishLanguage PetroleumLubricant "petroleum lubricant") domainEnglishFormat.kif 45516-45516 Motor oil is a subclass of petroleum lubricant


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