No TPTP formula. May not be expressible in strict first order. | Economy.kif 5935-5935 | Petroleum lubricant is a subclass of refined petroleum product |
No TPTP formula. May not be expressible in strict first order. | Economy.kif 5939-5939 | Motor oil is a subclass of petroleum lubricant |