No TPTP formula. May not be expressible in strict first order. |
VirusProteinAndCellPart.kif 482-482 |
子類 細胞膜內部 and 細胞膜 |
No TPTP formula. May not be expressible in strict first order. |
VirusProteinAndCellPart.kif 494-494 |
子類 脂質雙分子層 and 細胞膜 |
No TPTP formula. May not be expressible in strict first order. |
Medicine.kif 5668-5668 |
子類 MucusMembrane and 細胞膜 |
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 13656-13656 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 13655-13655 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 13654-13654 |
|