No TPTP formula. May not be expressible in strict first order. |
french_format.kif 636-636 |
|
No TPTP formula. May not be expressible in strict first order. |
terms-hindi.txt 167-167 |
|
No TPTP formula. May not be expressible in strict first order. |
terms-it.txt 170-170 |
|
No TPTP formula. May not be expressible in strict first order. |
portuguese_format.kif 588-588 |
|
No TPTP formula. May not be expressible in strict first order. |
terms-cb.txt 172-172 |
|
No TPTP formula. May not be expressible in strict first order. |
terms-cz.txt 204-204 |
|
No TPTP formula. May not be expressible in strict first order. |
relations-ro.kif 657-657 |
|
No TPTP formula. May not be expressible in strict first order. |
terms-tg.txt 171-171 |
|