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 | Plasma membrane is a subclass of body covering |
appearance as argument number 2 |
No TPTP formula. May not be expressible in strict first order. | VirusProteinAndCellPart.kif 1067-1067 | Cell envelope is a subclass of plasma membrane |
No TPTP formula. May not be expressible in strict first order. | VirusProteinAndCellPart.kif 1120-1120 | Virus outer membrane is a subclass of plasma membrane |
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 558-569 |
|
No TPTP formula. May not be expressible in strict first order. | VirusProteinAndCellPart.kif 356-361 |
|