| No TPTP formula. May not be expressible in strict first order. | Merge.kif 14672-14672 | Primate est une sous-classe de mammif�re |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 30495-30495 | Lemur est une sous-classe de primate |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 14677-14677 | Simien est une sous-classe de primate |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 14681-14681 | Singe est une sous-classe de primate |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 14685-14685 | Hominid� est une sous-classe de primate |
|
|