| 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. | Mid-level-ontology.kif 20101-20101 | Antelope est une sous-classe de ongul� |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 20105-20105 | Buffalo est une sous-classe de ongul� |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 20171-20171 | Horse est une sous-classe de ongul� |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 20175-20175 | Pig est une sous-classe de ongul� |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 20178-20178 | Donkey est une sous-classe de ongul� |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 20186-20186 | Mule est une sous-classe de ongul� |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 20205-20205 | Sheep est une sous-classe de ongul� |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 20219-20219 | Cattle est une sous-classe de ongul� |
| No TPTP formula. May not be expressible in strict first order. | Economy.kif 4905-4905 | Goat est une sous-classe de ongul� |
| No TPTP formula. May not be expressible in strict first order. | Economy.kif 4907-4907 | WaterBuffalo est une sous-classe de ongul� |
| No TPTP formula. May not be expressible in strict first order. | Economy.kif 4909-4909 | Reindeer est une sous-classe de ongul� |
| No TPTP formula. May not be expressible in strict first order. | Economy.kif 4911-4911 | Deer est une sous-classe de ongul� |
|
|