| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 1687-1687 | 子類 化石燃料 and 汽油 |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 1688-1688 | 子類 化石燃料 and 石油產品 |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 1705-1705 | 子類 液化石油氣 and 化石燃料 |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 1709-1709 | 子類 汽油 and 化石燃料 |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 1714-1714 | 子類 柴油燃料 and 化石燃料 |
| No TPTP formula. May not be expressible in strict first order. | Geography.kif 2018-2018 | 子類 煤 and 化石燃料 |
|
|