No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 20062-20062 | 子類 草食動物 and Mammal |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 20137-20137 | 子類 象 and 草食動物 |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 30491-30491 | 子類 Panda and 草食動物 |