No TPTP formula. May not be expressible in strict first order. | Geography.kif 2017-2017 | 子類 煤 and Mineral |
No TPTP formula. May not be expressible in strict first order. | Geography.kif 2018-2018 | 子類 煤 and 化石燃料 |
No TPTP formula. May not be expressible in strict first order. | Geography.kif 2019-2019 | 子類 煤 and 岩石 |
No TPTP formula. May not be expressible in strict first order. | Geography.kif 2003-2003 | 子類 褐煤 and 煤 |