No TPTP formula. May not be expressible in strict first order. | Merge.kif 14616-14616 | Feline is a subclass of carnivore |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 20083-20083 | Domestic cat is a subclass of feline |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 30370-30370 | Lion is a subclass of feline |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 30412-30412 | Tiger is a subclass of feline |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 30568-30568 | Cheetah is a subclass of feline |