| No TPTP formula. May not be expressible in strict first order. | Merge.kif 14598-14598 | 子類 Carnivore and Mammal |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 20277-20277 | 子類 Badger and Carnivore |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 20292-20292 | 子類 Bear and Carnivore |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 14611-14611 | 子類 Canine and Carnivore |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 14616-14616 | 子類 Feline and Carnivore |
|
|