No TPTP formula. May not be expressible in strict first order. | Geography.kif 2013-2013 | Chromite is a subclass of compound substance |
No TPTP formula. May not be expressible in strict first order. | Geography.kif 2014-2014 | Chromite is a subclass of mineral |