| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 17904-17904 | Rock is a subclass of substance |
| No TPTP formula. May not be expressible in strict first order. | Geography.kif 2019-2019 | Coal is a subclass of rock |
| No TPTP formula. May not be expressible in strict first order. | Geography.kif 4449-4449 | Marble is a subclass of rock |
| No TPTP formula. May not be expressible in strict first order. | Geography.kif 4471-4471 | Stone is a subclass of rock |
| No TPTP formula. May not be expressible in strict first order. | Geography.kif 7263-7263 | Pebble is a subclass of rock |
| No TPTP formula. May not be expressible in strict first order. | Geography.kif 7286-7286 | Cobble is a subclass of rock |
| No TPTP formula. May not be expressible in strict first order. | Geography.kif 7309-7309 | Boulder is a subclass of rock |
|
|