No TPTP formula. May not be expressible in strict first order. |
VirusProteinAndCellPart.kif 773-782 |
|
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 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. |
VirusProteinAndCellPart.kif 866-875 |
|
No TPTP formula. May not be expressible in strict first order. |
VirusProteinAndCellPart.kif 743-747 |
|
No TPTP formula. May not be expressible in strict first order. |
VirusProteinAndCellPart.kif 719-731 |
|