| No TPTP formula. May not be expressible in strict first order. | VirusProteinAndCellPart.kif 313-313 | 子類 蛋白質結構屬性 and 分子結構屬性 |
| No TPTP formula. May not be expressible in strict first order. | VirusProteinAndCellPart.kif 320-320 | 子類 蛋白質結構屬性複合 and 蛋白質結構屬性 |
| No TPTP formula. May not be expressible in strict first order. | VirusProteinAndCellPart.kif 329-329 | 子類 蛋白質結構屬性原始 and 蛋白質結構屬性 |
|
|