| (subclass HoofedMammal Mammal) | Merge.kif 14590-14590 | 有蹄哺乳動物 は 哺乳動物 の subclass では %n |
| (subclass Antelope HoofedMammal) | Mid-level-ontology.kif 20074-20074 | Antelope は 有蹄哺乳動物 の subclass では %n |
| (subclass Buffalo HoofedMammal) | Mid-level-ontology.kif 20078-20078 | Buffalo は 有蹄哺乳動物 の subclass では %n |
| (subclass Horse HoofedMammal) | Mid-level-ontology.kif 20144-20144 | Horse は 有蹄哺乳動物 の subclass では %n |
| (subclass Pig HoofedMammal) | Mid-level-ontology.kif 20148-20148 | Pig は 有蹄哺乳動物 の subclass では %n |
| (subclass Donkey HoofedMammal) | Mid-level-ontology.kif 20151-20151 | Donkey は 有蹄哺乳動物 の subclass では %n |
| (subclass Mule HoofedMammal) | Mid-level-ontology.kif 20159-20159 | Mule は 有蹄哺乳動物 の subclass では %n |
| (subclass Sheep HoofedMammal) | Mid-level-ontology.kif 20178-20178 | Sheep は 有蹄哺乳動物 の subclass では %n |
| (subclass Cattle HoofedMammal) | Mid-level-ontology.kif 20192-20192 | Cattle は 有蹄哺乳動物 の subclass では %n |
| (subclass Goat HoofedMammal) | Economy.kif 4905-4905 | Goat は 有蹄哺乳動物 の subclass では %n |
| (subclass WaterBuffalo HoofedMammal) | Economy.kif 4907-4907 | WaterBuffalo は 有蹄哺乳動物 の subclass では %n |
| (subclass Reindeer HoofedMammal) | Economy.kif 4909-4909 | Reindeer は 有蹄哺乳動物 の subclass では %n |
| (subclass Deer HoofedMammal) | Economy.kif 4911-4911 | Deer は 有蹄哺乳動物 の subclass では %n |
|
|