No TPTP formula. May not be expressible in strict first order. | Merge.kif 10333-10333 | Replication is a subclass of organism process |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 10352-10352 | Sexual reproduction is a subclass of replication |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 10367-10367 | Asexual reproduction is a subclass of replication |
![]() |