No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 20062-20062 | 草食动物 是 哺乳动物 的 subclass |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 20137-20137 | 象 是 草食动物 的 subclass |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 30491-30491 | Panda 是 草食动物 的 subclass |