No TPTP formula. May not be expressible in strict first order. |
VirusProteinAndCellPart.kif 772-781 |
|
No TPTP formula. May not be expressible in strict first order. |
VirusProteinAndCellPart.kif 973-983 |
|
No TPTP formula. May not be expressible in strict first order. |
VirusProteinAndCellPart.kif 920-930 |
|
No TPTP formula. May not be expressible in strict first order. |
VirusProteinAndCellPart.kif 938-948 |
|
No TPTP formula. May not be expressible in strict first order. |
VirusProteinAndCellPart.kif 991-1001 |
|
No TPTP formula. May not be expressible in strict first order. |
VirusProteinAndCellPart.kif 865-874 |
|
No TPTP formula. May not be expressible in strict first order. |
VirusProteinAndCellPart.kif 742-746 |
|
No TPTP formula. May not be expressible in strict first order. |
VirusProteinAndCellPart.kif 718-730 |
|