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 |
子類 疏水面 and 細胞部分 |
No TPTP formula. May not be expressible in strict first order. |
VirusProteinAndCellPart.kif 536-536 |
子類 疏水面 and Region |