No TPTP formula. May not be expressible in strict first order. | Merge.kif 14598-14598 | Carnivore is a subclass of mammal |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 20277-20277 | Badger is a subclass of carnivore |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 20292-20292 | Bear is a subclass of carnivore |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 14611-14611 | Canine is a subclass of carnivore |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 14616-14616 | Feline is a subclass of carnivore |