| 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. | Mid-level-ontology.kif 20074-20074 | 羚羊 是 有蹄哺乳动物 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 20078-20078 | 水牛 是 有蹄哺乳动物 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 20144-20144 | 马 是 有蹄哺乳动物 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 20148-20148 | 猪 是 有蹄哺乳动物 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 20151-20151 | 驴 是 有蹄哺乳动物 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 20159-20159 | 马骡 是 有蹄哺乳动物 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 20178-20178 | 羊 是 有蹄哺乳动物 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 20192-20192 | 牛 是 有蹄哺乳动物 的 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 |
|
|