| No TPTP formula. May not be expressible in strict first order. | Merge.kif 14602-14602 | 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 20061-20061 | Herbivore est une sous-classe de mammif�re |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 20317-20317 | Llama est une sous-classe de mammif�re |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 20326-20326 | Skunk est une sous-classe de mammif�re |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 30420-30420 | Rhinoceros est une sous-classe de mammif�re |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 30573-30573 | Ferret est une sous-classe de mammif�re |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 30608-30608 | MammalCub est une sous-classe de mammif�re |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 14608-14608 | Mammif�re aquatique est une sous-classe de mammif�re |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 14612-14612 | Ongul� est une sous-classe de mammif�re |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 14616-14616 | Marsupial est une sous-classe de mammif�re |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 14620-14620 | Carnivore est une sous-classe de mammif�re |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 14643-14643 | Rongeur est une sous-classe de mammif�re |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 14648-14648 | 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 |
|
|