| (subclass HoofedMammal Mammal) | Merge.kif 14612-14612 | Ongul� est une sous-classe de mammif�re |
| (subclass Antelope HoofedMammal) | Mid-level-ontology.kif 20073-20073 | Antelope est une sous-classe de ongul� |
| (subclass Buffalo HoofedMammal) | Mid-level-ontology.kif 20077-20077 | Buffalo est une sous-classe de ongul� |
| (subclass Horse HoofedMammal) | Mid-level-ontology.kif 20143-20143 | Horse est une sous-classe de ongul� |
| (subclass Pig HoofedMammal) | Mid-level-ontology.kif 20147-20147 | Pig est une sous-classe de ongul� |
| (subclass Donkey HoofedMammal) | Mid-level-ontology.kif 20150-20150 | Donkey est une sous-classe de ongul� |
| (subclass Mule HoofedMammal) | Mid-level-ontology.kif 20158-20158 | Mule est une sous-classe de ongul� |
| (subclass Sheep HoofedMammal) | Mid-level-ontology.kif 20177-20177 | Sheep est une sous-classe de ongul� |
| (subclass Cattle HoofedMammal) | Mid-level-ontology.kif 20191-20191 | Cattle est une sous-classe de ongul� |
| (subclass Goat HoofedMammal) | Economy.kif 4905-4905 | Goat est une sous-classe de ongul� |
| (subclass WaterBuffalo HoofedMammal) | Economy.kif 4907-4907 | WaterBuffalo est une sous-classe de ongul� |
| (subclass Reindeer HoofedMammal) | Economy.kif 4909-4909 | Reindeer est une sous-classe de ongul� |
| (subclass Deer HoofedMammal) | Economy.kif 4911-4911 | Deer est une sous-classe de ongul� |
|
|