No TPTP formula. May not be expressible in strict first order. | Merge.kif 14620-14620 | Carnivore is a subclass of mammal |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 20276-20276 | Badger is a subclass of carnivore |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 20291-20291 | Bear is a subclass of carnivore |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 14633-14633 | Canine is a subclass of carnivore |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 14638-14638 | Feline is a subclass of carnivore |
![]() |