No TPTP formula. May not be expressible in strict first order. | VirusProteinAndCellPart.kif 481-481 | CellMembraneInternal est une sous-classe de CellMembrane |
No TPTP formula. May not be expressible in strict first order. | VirusProteinAndCellPart.kif 1055-1055 | Endomembrane est une sous-classe de CellMembraneInternal |