| No TPTP formula. May not be expressible in strict first order. | Merge.kif 14311-14311 | Mineral e' uma sub-classe de Substancia |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 8765-8765 | Diamond e' uma sub-classe de Mineral |
| No TPTP formula. May not be expressible in strict first order. | Geography.kif 1997-1997 | Barite e' uma sub-classe de Mineral |
| No TPTP formula. May not be expressible in strict first order. | Geography.kif 2014-2014 | Chromite e' uma sub-classe de Mineral |
| No TPTP formula. May not be expressible in strict first order. | Geography.kif 2017-2017 | Coal e' uma sub-classe de Mineral |
| No TPTP formula. May not be expressible in strict first order. | Geography.kif 2056-2056 | Talc e' uma sub-classe de Mineral |
| No TPTP formula. May not be expressible in strict first order. | Geography.kif 2596-2596 | Asbestos e' uma sub-classe de Mineral |
| No TPTP formula. May not be expressible in strict first order. | Economy.kif 5624-5624 | IronOre e' uma sub-classe de Mineral |
| No TPTP formula. May not be expressible in strict first order. | Economy.kif 5645-5645 | CopperOre e' uma sub-classe de Mineral |
| No TPTP formula. May not be expressible in strict first order. | Economy.kif 5655-5655 | NickelOre e' uma sub-classe de Mineral |
| No TPTP formula. May not be expressible in strict first order. | Economy.kif 5665-5665 | LeadOre e' uma sub-classe de Mineral |
| No TPTP formula. May not be expressible in strict first order. | Economy.kif 5675-5675 | ZincOre e' uma sub-classe de Mineral |
|
|