| No TPTP formula. May not be expressible in strict first order. | Merge.kif 14643-14643 | Rodent is a subclass of mammal |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 20377-20377 | Mouse is a subclass of rodent |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 20381-20381 | Rat is a subclass of rodent |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 20385-20385 | Rabbit is a subclass of rodent |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 20395-20395 | Squirrel is a subclass of rodent |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 30591-30591 | Guinea pig is a subclass of rodent |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 30603-30603 | Hamster is a subclass of rodent |
|
|