No TPTP formula. May not be expressible in strict first order. |
VirusProteinAndCellPart.kif 537-537 |
|
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 536-536 |
Hydrophobic side is a subclass of cell part |
No TPTP formula. May not be expressible in strict first order. |
VirusProteinAndCellPart.kif 535-535 |
Hydrophobic side is a subclass of region |