No TPTP formula. May not be expressible in strict first order. |
VirusProteinAndCellPart.kif 274-275 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 9770-9770 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 8765-8765 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 9768-9768 |
|
No TPTP formula. May not be expressible in strict first order. |
VirusProteinAndCellPart.kif 273-273 |
TransportProtein e' uma sub-classe de Proteina |