No TPTP formula. May not be expressible in strict first order. |
VirusProteinAndCellPart.kif 702-710 |
|
No TPTP formula. May not be expressible in strict first order. |
VirusProteinAndCellPart.kif 793-802 |
|
No TPTP formula. May not be expressible in strict first order. |
VirusProteinAndCellPart.kif 1003-1024 |
|
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 950-965 |
|
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. |
Economy.kif 3970-3985 |
|
No TPTP formula. May not be expressible in strict first order. |
Economy.kif 3911-3926 |
|
No TPTP formula. May not be expressible in strict first order. |
Economy.kif 3879-3894 |
|
No TPTP formula. May not be expressible in strict first order. |
VirusProteinAndCellPart.kif 895-904 |
|
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 876-887 |
|
No TPTP formula. May not be expressible in strict first order. |
VirusProteinAndCellPart.kif 718-730 |
|
No TPTP formula. May not be expressible in strict first order. |
VirusProteinAndCellPart.kif 589-594 |
|
No TPTP formula. May not be expressible in strict first order. |
VirusProteinAndCellPart.kif 582-587 |
|