TreeView Knowledge Base Browser - PetroleumLubricant

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	Economy.kif 5936-5937
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 2505-2505
No TPTP formula. May not be expressible in strict first order.	Economy.kif 5935-5935	石油润滑剂是精炼石油产品的 subclass

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	Economy.kif 1845-1845	石油润滑剂是石油润滑油和润滑脂制造的 industry 产品类别
No TPTP formula. May not be expressible in strict first order.	Economy.kif 5939-5939	机油是石油润滑剂的 subclass
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 45480-45480
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 45479-45479
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 45478-45478