(subclass Herbivore Mammal) | Mid-level-ontology.kif 20062-20062 | Herbivore is a subclass of mammal |
(subclass Elephant Herbivore) | Mid-level-ontology.kif 20137-20137 | Elephant is a subclass of herbivore |
(subclass Panda Herbivore) | Mid-level-ontology.kif 30491-30491 | Panda is a subclass of herbivore |