No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 20062-20062 | Herbivore is a subclass of mammal |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 20137-20137 | Elephant is a subclass of herbivore |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 30491-30491 | Panda is a subclass of herbivore |