| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 1680-1680 | FossilFuel est une sous-classe de Fuel |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 1681-1681 | FossilFuel est une sous-classe de PetroleumProduct |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 1698-1698 | LiquefiedPetroleumGas est une sous-classe de FossilFuel |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 1702-1702 | Gasoline est une sous-classe de FossilFuel |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 1707-1707 | DieselFuel est une sous-classe de FossilFuel |
| No TPTP formula. May not be expressible in strict first order. | Geography.kif 2018-2018 | Coal est une sous-classe de FossilFuel |
|
|