No TPTP formula. May not be expressible in strict first order. |
VirusProteinAndCellPart.kif 538-538 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 8533-8533 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 9324-9324 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 9325-9325 |
|
No TPTP formula. May not be expressible in strict first order. |
VirusProteinAndCellPart.kif 537-537 |
HydrophobicSide e' uma sub-classe de CellPart |
No TPTP formula. May not be expressible in strict first order. |
VirusProteinAndCellPart.kif 536-536 |
HydrophobicSide e' uma sub-classe de Regiao |