No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 17903-17903 | Rock e' uma sub-classe de Substancia |
No TPTP formula. May not be expressible in strict first order. | Geography.kif 2019-2019 | Coal e' uma sub-classe de Rock |
No TPTP formula. May not be expressible in strict first order. | Geography.kif 4449-4449 | Marble e' uma sub-classe de Rock |
No TPTP formula. May not be expressible in strict first order. | Geography.kif 4471-4471 | Stone e' uma sub-classe de Rock |
No TPTP formula. May not be expressible in strict first order. | Geography.kif 7263-7263 | Pebble e' uma sub-classe de Rock |
No TPTP formula. May not be expressible in strict first order. | Geography.kif 7286-7286 | Cobble e' uma sub-classe de Rock |
No TPTP formula. May not be expressible in strict first order. | Geography.kif 7309-7309 | Boulder e' uma sub-classe de Rock |