No TPTP formula. May not be expressible in strict first order. | Merge.kif 14626-14626 | 子類 Primate and Mammal |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 30471-30471 | 子類 Lemur and Primate |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 14631-14631 | 子類 Ape and Primate |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 14635-14635 | 子類 Monkey and Primate |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 14639-14639 | 子類 Hominid and Primate |