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 1055-1055 | Endomembrane is a subclass of internal cell membrane |