No TPTP formula. May not be expressible in strict first order. | Merge.kif 14661-14661 | Hominid� est une sous-classe de primate |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 14665-14665 | Humain est une sous-classe de hominid� |