No TPTP formula. May not be expressible in strict first order. | VirusProteinAndCellPart.kif 1119-1119 | Virus outer membrane is a subclass of virus part |
No TPTP formula. May not be expressible in strict first order. | VirusProteinAndCellPart.kif 1120-1120 | Virus outer membrane is a subclass of plasma membrane |