| No TPTP formula. May not be expressible in strict first order. | Merge.kif 14602-14602 | Mamifero e' uma sub-classe de Vertebrado de Sangue Quente |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 20061-20061 | Herbivore e' uma sub-classe de Mamifero |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 20317-20317 | Llama e' uma sub-classe de Mamifero |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 20326-20326 | Skunk e' uma sub-classe de Mamifero |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 30420-30420 | Rhinoceros e' uma sub-classe de Mamifero |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 30573-30573 | Ferret e' uma sub-classe de Mamifero |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 30608-30608 | MammalCub e' uma sub-classe de Mamifero |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 14608-14608 | Mamifero Aquatico e' uma sub-classe de Mamifero |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 14612-14612 | Ungulado e' uma sub-classe de Mamifero |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 14616-14616 | Marsupial e' uma sub-classe de Mamifero |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 14620-14620 | Carnivoro e' uma sub-classe de Mamifero |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 14643-14643 | Roedor e' uma sub-classe de Mamifero |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 14648-14648 | Primata e' uma sub-classe de Mamifero |
| No TPTP formula. May not be expressible in strict first order. | Economy.kif 4918-4918 | Camel e' uma sub-classe de Mamifero |
|
|