(subclass Carnivore Mammal) | Merge.kif 14620-14620 | Carnivore is a subclass of mammal |
(subclass Badger Carnivore) | Mid-level-ontology.kif 20276-20276 | Badger is a subclass of carnivore |
(subclass Bear Carnivore) | Mid-level-ontology.kif 20291-20291 | Bear is a subclass of carnivore |
(subclass Canine Carnivore) | Merge.kif 14633-14633 | Canine is a subclass of carnivore |
(subclass Feline Carnivore) | Merge.kif 14638-14638 | Feline is a subclass of carnivore |