No TPTP formula. May not be expressible in strict first order. | VirusProteinAndCellPart.kif 442-442 | Cell membrane is a subclass of cell part |
No TPTP formula. May not be expressible in strict first order. | VirusProteinAndCellPart.kif 481-481 | Internal cell membrane is a subclass of cell membrane |
No TPTP formula. May not be expressible in strict first order. | VirusProteinAndCellPart.kif 493-493 | 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 |