No TPTP formula. May not be expressible in strict first order. | Merge.kif 10311-10311 | Replication is a subclass of organism process |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 10330-10330 | Sexual reproduction is a subclass of replication |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 10345-10345 | Asexual reproduction is a subclass of replication |