| No TPTP formula. May not be expressible in strict first order. | Merge.kif 14590-14590 | 子類 HoofedMammal and Mammal |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 20074-20074 | 子類 羚羊 and HoofedMammal |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 20078-20078 | 子類 水牛 and HoofedMammal |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 20144-20144 | 子類 馬 and HoofedMammal |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 20148-20148 | 子類 豬 and HoofedMammal |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 20151-20151 | 子類 驢 and HoofedMammal |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 20159-20159 | 子類 馬騾 and HoofedMammal |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 20178-20178 | 子類 羊 and HoofedMammal |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 20192-20192 | 子類 牛 and HoofedMammal |
| No TPTP formula. May not be expressible in strict first order. | Economy.kif 4905-4905 | 子類 山羊 and HoofedMammal |
| No TPTP formula. May not be expressible in strict first order. | Economy.kif 4907-4907 | 子類 水牛 and HoofedMammal |
| No TPTP formula. May not be expressible in strict first order. | Economy.kif 4909-4909 | 子類 馴鹿 and HoofedMammal |
| No TPTP formula. May not be expressible in strict first order. | Economy.kif 4911-4911 | 子類 鹿 and HoofedMammal |
|
|