No TPTP formula. May not be expressible in strict first order. | Merge.kif 10333-10333 | Reproduction est une sous-classe de fonction physiologique |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 10352-10352 | Reproduction sexuel est une sous-classe de reproduction |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 10367-10367 | Reproduction asexu� est une sous-classe de reproduction |