No TPTP formula. May not be expressible in strict first order. | Merge.kif 10333-10333 | 子類 Replication and OrganismProcess |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 10352-10352 | 子類 SexualReproduction and Replication |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 10367-10367 | 子類 AsexualReproduction and Replication |
![]() |