| No TPTP formula. May not be expressible in strict first order. | Merge.kif 14311-14311 | Mineral is a subclass of substance |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 8765-8765 | Diamond is a subclass of mineral |
| No TPTP formula. May not be expressible in strict first order. | Geography.kif 1997-1997 | Barite is a subclass of mineral |
| No TPTP formula. May not be expressible in strict first order. | Geography.kif 2014-2014 | Chromite is a subclass of mineral |
| No TPTP formula. May not be expressible in strict first order. | Geography.kif 2017-2017 | Coal is a subclass of mineral |
| No TPTP formula. May not be expressible in strict first order. | Geography.kif 2056-2056 | Talc is a subclass of mineral |
| No TPTP formula. May not be expressible in strict first order. | Geography.kif 2596-2596 | Asbestos is a subclass of mineral |
| No TPTP formula. May not be expressible in strict first order. | Economy.kif 5624-5624 | Iron ore is a subclass of mineral |
| No TPTP formula. May not be expressible in strict first order. | Economy.kif 5645-5645 | Copper ore is a subclass of mineral |
| No TPTP formula. May not be expressible in strict first order. | Economy.kif 5655-5655 | Nickel ore is a subclass of mineral |
| No TPTP formula. May not be expressible in strict first order. | Economy.kif 5665-5665 | Lead ore is a subclass of mineral |
| No TPTP formula. May not be expressible in strict first order. | Economy.kif 5675-5675 | Zinc ore is a subclass of mineral |
|
|