PlasmaMembrane
|
|
appearance as argument number 1 |
No TPTP formula. May not be expressible in strict first order. | VirusProteinAndCellPart.kif 352-354 | |
No TPTP formula. May not be expressible in strict first order. | pictureList.kif 10192-10192 | |
No TPTP formula. May not be expressible in strict first order. | pictureList.kif 11623-11623 | |
No TPTP formula. May not be expressible in strict first order. | pictureList.kif 11622-11622 | |
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 |
appearance as argument number 2 |
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 |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 46146-46146 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 46145-46145 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 46144-46144 |
antecedent |
No TPTP formula. May not be expressible in strict first order. | VirusProteinAndCellPart.kif 557-568 | |
No TPTP formula. May not be expressible in strict first order. | VirusProteinAndCellPart.kif 356-361 |