| No TPTP formula. May not be expressible in strict first order. | Merge.kif 14644-14644 | 食肉动物 是 哺乳动物 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 20304-20304 | Badger 是 食肉动物 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 20319-20319 | Bear 是 食肉动物 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 14657-14657 | 犬 是 食肉动物 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 14662-14662 | 猫科动物 是 食肉动物 的 subclass |
|
|