No TPTP formula. May not be expressible in strict first order. | VirusProteinAndCellPart.kif 492-492 | 脂质双分子层 是 细胞部分 的 subclass |
No TPTP formula. May not be expressible in strict first order. | VirusProteinAndCellPart.kif 493-493 | 脂质双分子层 是 细胞膜 的 subclass |