(subclass Carnivore Mammal) | Merge.kif 14598-14598 | Carnivore is a subclass of mammal |
(subclass Badger Carnivore) | Mid-level-ontology.kif 20277-20277 | Badger is a subclass of carnivore |
(subclass Bear Carnivore) | Mid-level-ontology.kif 20292-20292 | Bear is a subclass of carnivore |
(subclass Canine Carnivore) | Merge.kif 14611-14611 | Canine is a subclass of carnivore |
(subclass Feline Carnivore) | Merge.kif 14616-14616 | Feline is a subclass of carnivore |