No TPTP formula. May not be expressible in strict first order. |
chinese_format.kif 1148-1148 |
|
No TPTP formula. May not be expressible in strict first order. |
english_format.kif 1513-1513 |
|
No TPTP formula. May not be expressible in strict first order. |
french_format.kif 826-826 |
|
No TPTP formula. May not be expressible in strict first order. |
terms-hindi.txt 358-358 |
|
No TPTP formula. May not be expressible in strict first order. |
terms-it.txt 361-361 |
|
No TPTP formula. May not be expressible in strict first order. |
japanese_format.kif 2510-2510 |
|
No TPTP formula. May not be expressible in strict first order. |
portuguese_format.kif 778-778 |
|
No TPTP formula. May not be expressible in strict first order. |
terms-cb.txt 363-363 |
|
No TPTP formula. May not be expressible in strict first order. |
terms-cz.txt 397-397 |
|
No TPTP formula. May not be expressible in strict first order. |
relations-ro.kif 847-847 |
|
No TPTP formula. May not be expressible in strict first order. |
terms-tg.txt 362-362 |
|