| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 1687-1687 | 化石燃料 是 汽油 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 1688-1688 | 化石燃料 是 石油产品 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 1705-1705 | 液化石油气 是 化石燃料 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 1709-1709 | 汽油 是 化石燃料 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 1714-1714 | 柴油燃料 是 化石燃料 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | Geography.kif 2018-2018 | 煤 是 化石燃料 的 subclass |
|
|