No TPTP formula. May not be expressible in strict first order. | Geography.kif 2017-2017 | Coal is a subclass of mineral |
No TPTP formula. May not be expressible in strict first order. | Geography.kif 2018-2018 | Coal is a subclass of fossil fuel |
No TPTP formula. May not be expressible in strict first order. | Geography.kif 2019-2019 | Coal is a subclass of rock |
No TPTP formula. May not be expressible in strict first order. | Geography.kif 2003-2003 | Brown coal is a subclass of coal |