No TPTP formula. May not be expressible in strict first order. |
VirusProteinAndCellPart.kif 1069-1069 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 9929-9929 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 10592-10592 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 10588-10588 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 10591-10591 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 10590-10590 |
|
No TPTP formula. May not be expressible in strict first order. |
VirusProteinAndCellPart.kif 1068-1068 |
Cell envelope is a subclass of plasma membrane |