| (subclass HoofedMammal Mammal) | Merge.kif 14590-14590 | |
| (subclass Antelope HoofedMammal) | Mid-level-ontology.kif 20074-20074 | |
| (subclass Buffalo HoofedMammal) | Mid-level-ontology.kif 20078-20078 | |
| (subclass Horse HoofedMammal) | Mid-level-ontology.kif 20144-20144 | |
| (subclass Pig HoofedMammal) | Mid-level-ontology.kif 20148-20148 | |
| (subclass Donkey HoofedMammal) | Mid-level-ontology.kif 20151-20151 | |
| (subclass Mule HoofedMammal) | Mid-level-ontology.kif 20159-20159 | |
| (subclass Sheep HoofedMammal) | Mid-level-ontology.kif 20178-20178 | |
| (subclass Cattle HoofedMammal) | Mid-level-ontology.kif 20192-20192 | |
| (subclass Goat HoofedMammal) | Economy.kif 4905-4905 | |
| (subclass WaterBuffalo HoofedMammal) | Economy.kif 4907-4907 | |
| (subclass Reindeer HoofedMammal) | Economy.kif 4909-4909 | |
| (subclass Deer HoofedMammal) | Economy.kif 4911-4911 |
|
|