No TPTP formula. May not be expressible in strict first order. | Merge.kif 14648-14648 | Primate is a subclass of mammal |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 30459-30459 | Lemur is a subclass of primate |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 14653-14653 | Ape is a subclass of primate |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 14657-14657 | Monkey is a subclass of primate |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 14661-14661 | Hominid is a subclass of primate |