No TPTP formula. May not be expressible in strict first order. | VirusProteinAndCellPart.kif 443-443 | Cell membrane is a subclass of cell part |
No TPTP formula. May not be expressible in strict first order. | VirusProteinAndCellPart.kif 482-482 | Internal cell membrane is a subclass of cell membrane |
No TPTP formula. May not be expressible in strict first order. | VirusProteinAndCellPart.kif 494-494 | Lipid bilayer is a subclass of cell membrane |
No TPTP formula. May not be expressible in strict first order. | Medicine.kif 5668-5668 | Mucosa is a subclass of cell membrane |