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 |
疏水面 是 细胞部分 的 subclass |
No TPTP formula. May not be expressible in strict first order. |
VirusProteinAndCellPart.kif 536-536 |
疏水面 是 地区 的 subclass |