| No TPTP formula. May not be expressible in strict first order. | VirusProteinAndCellPart.kif 1118-1118 | VirusOuterMembrane e' uma sub-classe de VirusPart |
| No TPTP formula. May not be expressible in strict first order. | VirusProteinAndCellPart.kif 1119-1119 | VirusOuterMembrane e' uma sub-classe de PlasmaMembrane |
|
|