| 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 est une sous-classe de partie du corps en recouvrant une autre |
| appearance as argument number 2 |
|
|
| No TPTP formula. May not be expressible in strict first order. | VirusProteinAndCellPart.kif 1066-1066 | CellEnvelope est une sous-classe de PlasmaMembrane |
| No TPTP formula. May not be expressible in strict first order. | VirusProteinAndCellPart.kif 1119-1119 | VirusOuterMembrane est une sous-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 |
|
|
|