No TPTP formula. May not be expressible in strict first order. | VirusProteinAndCellPart.kif 493-493 | Lipid bilayer is a subclass of cell part |
No TPTP formula. May not be expressible in strict first order. | VirusProteinAndCellPart.kif 494-494 | Lipid bilayer is a subclass of cell membrane |