No TPTP formula. May not be expressible in strict first order. | VirusProteinAndCellPart.kif 968-968 | 子類 PentaploidCell and SomaticCell |
No TPTP formula. May not be expressible in strict first order. | VirusProteinAndCellPart.kif 969-969 | 子類 PentaploidCell and Zygote |