| (subclass Coal Mineral) | Geography.kif 2017-2017 | Coal est une sous-classe de mineral |
| (subclass Coal FossilFuel) | Geography.kif 2018-2018 | Coal est une sous-classe de FossilFuel |
| (subclass Coal Rock) | Geography.kif 2019-2019 | Coal est une sous-classe de Rock |
| (subclass BrownCoal Coal) | Geography.kif 2003-2003 | BrownCoal est une sous-classe de Coal |
|
|