| No TPTP formula. May not be expressible in strict first order. | Merge.kif 14612-14612 | 有蹄哺乳动物 是 哺乳动物 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 20073-20073 | 羚羊 是 有蹄哺乳动物 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 20077-20077 | 水牛 是 有蹄哺乳动物 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 20143-20143 | 马 是 有蹄哺乳动物 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 20147-20147 | 猪 是 有蹄哺乳动物 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 20150-20150 | 驴 是 有蹄哺乳动物 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 20158-20158 | 马骡 是 有蹄哺乳动物 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 20177-20177 | 羊 是 有蹄哺乳动物 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 20191-20191 | 牛 是 有蹄哺乳动物 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | Economy.kif 4905-4905 | 山羊 是 有蹄哺乳动物 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | Economy.kif 4907-4907 | 水牛 是 有蹄哺乳动物 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | Economy.kif 4909-4909 | 驯鹿 是 有蹄哺乳动物 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | Economy.kif 4911-4911 | 鹿 是 有蹄哺乳动物 的 subclass |
|
|