(subclass PetroleumLubricant RefinedPetroleumProduct) | Economy.kif 5935-5935 | Petroleum lubricant is a subclass of refined petroleum product |
(subclass MotorOil PetroleumLubricant) | Economy.kif 5939-5939 | Motor oil is a subclass of petroleum lubricant |