(subclass Coal Mineral) | Geography.kif 2017-2017 | Coal は ミネラル の subclass では %n |
(subclass Coal FossilFuel) | Geography.kif 2018-2018 | Coal は FossilFuel の subclass では %n |
(subclass Coal Rock) | Geography.kif 2019-2019 | Coal は Rock の subclass では %n |
(subclass BrownCoal Coal) | Geography.kif 2003-2003 | BrownCoal は Coal の subclass では %n |