| No TPTP formula. May not be expressible in strict first order. | VirusProteinAndCellPart.kif 442-442 | 子類 細胞膜 and 細胞部分 |
| No TPTP formula. May not be expressible in strict first order. | VirusProteinAndCellPart.kif 481-481 | 子類 細胞膜內部 and 細胞膜 |
| No TPTP formula. May not be expressible in strict first order. | VirusProteinAndCellPart.kif 493-493 | 子類 脂質雙分子層 and 細胞膜 |
| No TPTP formula. May not be expressible in strict first order. | Medicine.kif 5668-5668 | 子類 MucusMembrane and 細胞膜 |
|
|