| No TPTP formula. May not be expressible in strict first order. | Merge.kif 14602-14602 | Mammal is a subclass of warm blooded vertebrate |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 20061-20061 | Herbivore is a subclass of mammal |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 20317-20317 | Llama is a subclass of mammal |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 20326-20326 | Skunk is a subclass of mammal |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 30420-30420 | Rhinoceros is a subclass of mammal |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 30573-30573 | Ferret is a subclass of mammal |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 30608-30608 | Cub is a subclass of mammal |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 14608-14608 | Aquatic mammal is a subclass of mammal |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 14612-14612 | Hoofed mammal is a subclass of mammal |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 14616-14616 | Marsupial is a subclass of mammal |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 14620-14620 | Carnivore is a subclass of mammal |
| 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. | Merge.kif 14648-14648 | Primate is a subclass of mammal |
| No TPTP formula. May not be expressible in strict first order. | Economy.kif 4918-4918 | Camel is a subclass of mammal |
|
|