No TPTP formula. May not be expressible in strict first order. | VirusProteinAndCellPart.kif 351-351 | Plasma membrane is a subclass of body covering |
No TPTP formula. May not be expressible in strict first order. | VirusProteinAndCellPart.kif 1066-1066 | Cell envelope is a subclass of plasma membrane |
No TPTP formula. May not be expressible in strict first order. | VirusProteinAndCellPart.kif 1119-1119 | Virus outer membrane is a subclass of plasma membrane |