(subclass HoofedMammal Mammal) | Merge.kif 14636-14636 | |
(subclass Antelope HoofedMammal) | Mid-level-ontology.kif 20101-20101 | |
(subclass Buffalo HoofedMammal) | Mid-level-ontology.kif 20105-20105 | |
(subclass Horse HoofedMammal) | Mid-level-ontology.kif 20171-20171 | |
(subclass Pig HoofedMammal) | Mid-level-ontology.kif 20175-20175 | |
(subclass Donkey HoofedMammal) | Mid-level-ontology.kif 20178-20178 | |
(subclass Mule HoofedMammal) | Mid-level-ontology.kif 20186-20186 | |
(subclass Sheep HoofedMammal) | Mid-level-ontology.kif 20205-20205 | |
(subclass Cattle HoofedMammal) | Mid-level-ontology.kif 20219-20219 | |
(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 |