| No TPTP formula. May not be expressible in strict first order. | VirusProteinAndCellPart.kif 154-154 | 分子结构属性 是 形状属性 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | VirusProteinAndCellPart.kif 313-313 | 蛋白质结构属性 是 分子结构属性 的 subclass |
|
|