No TPTP formula. May not be expressible in strict first order. | VirusProteinAndCellPart.kif 351-351 | PlasmaMembrane e' uma sub-classe de parte do corpo recobrindo outra |
No TPTP formula. May not be expressible in strict first order. | VirusProteinAndCellPart.kif 1066-1066 | CellEnvelope e' uma sub-classe de PlasmaMembrane |
No TPTP formula. May not be expressible in strict first order. | VirusProteinAndCellPart.kif 1119-1119 | VirusOuterMembrane e' uma sub-classe de PlasmaMembrane |