| No TPTP formula. May not be expressible in strict first order. | Merge.kif 14626-14626 | Mammif�re est une sous-classe de vert�br� � sang chaud |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 20089-20089 | Herbivore est une sous-classe de mammif�re |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 20345-20345 | Llama est une sous-classe de mammif�re |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 20354-20354 | Skunk est une sous-classe de mammif�re |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 30456-30456 | Rhinoceros est une sous-classe de mammif�re |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 30609-30609 | Ferret est une sous-classe de mammif�re |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 30644-30644 | MammalCub est une sous-classe de mammif�re |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 14632-14632 | Mammif�re aquatique est une sous-classe de mammif�re |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 14636-14636 | Ongul� est une sous-classe de mammif�re |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 14640-14640 | Marsupial est une sous-classe de mammif�re |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 14644-14644 | Carnivore est une sous-classe de mammif�re |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 14667-14667 | Rongeur est une sous-classe de mammif�re |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 14672-14672 | Primate est une sous-classe de mammif�re |
| No TPTP formula. May not be expressible in strict first order. | Economy.kif 4918-4918 | Camel est une sous-classe de mammif�re |
|
|