No TPTP formula. May not be expressible in strict first order. | Geography.kif 2013-2013 | Chromite e' uma sub-classe de Substancia Composta |
No TPTP formula. May not be expressible in strict first order. | Geography.kif 2014-2014 | Chromite e' uma sub-classe de Mineral |