No TPTP formula. May not be expressible in strict first order. |
VirusProteinAndCellPart.kif 1068-1068 |
|
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 1067-1067 |
CellEnvelope e' uma sub-classe de PlasmaMembrane |