No TPTP formula. May not be expressible in strict first order. | Merge.kif 10333-10333 | 复制 是 机体过程 的 subclass |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 10352-10352 | 有性繁殖 是 复制 的 subclass |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 10367-10367 | 无性繁殖 是 复制 的 subclass |
![]() |