| No TPTP formula. May not be expressible in strict first order. | Merge.kif 14580-14580 | 哺乳动物 是 温血脊椎动物 的 subclass |
| 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 20318-20318 | Llama 是 哺乳动物 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 20327-20327 | Skunk 是 哺乳动物 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 30432-30432 | Rhinoceros 是 哺乳动物 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 30585-30585 | Ferret 是 哺乳动物 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 30620-30620 | MammalCub 是 哺乳动物 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 14586-14586 | 水生哺乳动物 是 哺乳动物 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 14590-14590 | 有蹄哺乳动物 是 哺乳动物 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 14594-14594 | 有袋动物 是 哺乳动物 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 14598-14598 | 食肉动物 是 哺乳动物 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 14621-14621 | 啮齿动物 是 哺乳动物 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 14626-14626 | 灵长类动物 是 哺乳动物 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | Economy.kif 4918-4918 | 骆驼 是 哺乳动物 的 subclass |
|
|