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 1067-1067 | Cell envelope is a subclass of plasma membrane |
No TPTP formula. May not be expressible in strict first order. | VirusProteinAndCellPart.kif 1120-1120 | Virus outer membrane is a subclass of plasma membrane |