No TPTP formula. May not be expressible in strict first order. | VirusProteinAndCellPart.kif 313-313 | 蛋白质结构属性 是 分子结构属性 的 subclass |
No TPTP formula. May not be expressible in strict first order. | VirusProteinAndCellPart.kif 320-320 | 蛋白质结构属性复合 是 蛋白质结构属性 的 subclass |
No TPTP formula. May not be expressible in strict first order. | VirusProteinAndCellPart.kif 329-329 | 蛋白质结构属性原始 是 蛋白质结构属性 的 subclass |