No TPTP formula. May not be expressible in strict first order. |
VirusProteinAndCellPart.kif 703-711 |
|
No TPTP formula. May not be expressible in strict first order. |
VirusProteinAndCellPart.kif 794-803 |
|
No TPTP formula. May not be expressible in strict first order. |
VirusProteinAndCellPart.kif 1004-1023 |
|
No TPTP formula. May not be expressible in strict first order. |
VirusProteinAndCellPart.kif 974-984 |
|
No TPTP formula. May not be expressible in strict first order. |
VirusProteinAndCellPart.kif 951-966 |
|
No TPTP formula. May not be expressible in strict first order. |
VirusProteinAndCellPart.kif 921-931 |
|
No TPTP formula. May not be expressible in strict first order. |
VirusProteinAndCellPart.kif 939-949 |
|
No TPTP formula. May not be expressible in strict first order. |
VirusProteinAndCellPart.kif 992-1002 |
|
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 896-905 |
|
No TPTP formula. May not be expressible in strict first order. |
VirusProteinAndCellPart.kif 866-875 |
|
No TPTP formula. May not be expressible in strict first order. |
VirusProteinAndCellPart.kif 877-888 |
|
No TPTP formula. May not be expressible in strict first order. |
VirusProteinAndCellPart.kif 719-731 |
|
No TPTP formula. May not be expressible in strict first order. |
VirusProteinAndCellPart.kif 590-595 |
|
No TPTP formula. May not be expressible in strict first order. |
VirusProteinAndCellPart.kif 583-588 |
|