| No TPTP formula. May not be expressible in strict first order. | Geography.kif 2017-2017 | Coal e' uma sub-classe de Mineral |
| No TPTP formula. May not be expressible in strict first order. | Geography.kif 2018-2018 | Coal e' uma sub-classe de FossilFuel |
| No TPTP formula. May not be expressible in strict first order. | Geography.kif 2019-2019 | Coal e' uma sub-classe de Rock |
| No TPTP formula. May not be expressible in strict first order. | Geography.kif 2003-2003 | BrownCoal e' uma sub-classe de Coal |
|
|