| No TPTP formula. May not be expressible in strict first order. | VirusProteinAndCellPart.kif 351-351 | 质膜 是 身体外层 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | VirusProteinAndCellPart.kif 1066-1066 | 细胞包膜 是 质膜 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | VirusProteinAndCellPart.kif 1119-1119 | 病毒外膜 是 质膜 的 subclass |
|
|