No TPTP formula. May not be expressible in strict first order. | VirusProteinAndCellPart.kif 351-351 | 子類 質膜 and BodyCovering |
No TPTP formula. May not be expressible in strict first order. | VirusProteinAndCellPart.kif 1066-1066 | 子類 細胞包膜 and 質膜 |
No TPTP formula. May not be expressible in strict first order. | VirusProteinAndCellPart.kif 1119-1119 | 子類 病毒外膜 and 質膜 |