| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 1677-1677 | PetroleumProduct e' uma sub-classe de Oil |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 1688-1688 | FossilFuel e' uma sub-classe de PetroleumProduct |
| No TPTP formula. May not be expressible in strict first order. | Economy.kif 5684-5684 | Petroleum e' uma sub-classe de PetroleumProduct |
| No TPTP formula. May not be expressible in strict first order. | Economy.kif 5929-5929 | RefinedPetroleumProduct e' uma sub-classe de PetroleumProduct |
|
|