No TPTP formula. May not be expressible in strict first order. |
chinese_format.kif 1064-1064 |
|
No TPTP formula. May not be expressible in strict first order. |
english_format.kif 1339-1339 |
|
No TPTP formula. May not be expressible in strict first order. |
french_format.kif 742-742 |
|
No TPTP formula. May not be expressible in strict first order. |
terms-hindi.txt 273-273 |
|
No TPTP formula. May not be expressible in strict first order. |
terms-it.txt 276-276 |
|
No TPTP formula. May not be expressible in strict first order. |
japanese_format.kif 2426-2426 |
|
No TPTP formula. May not be expressible in strict first order. |
portuguese_format.kif 694-694 |
|
No TPTP formula. May not be expressible in strict first order. |
terms-cb.txt 278-278 |
|
No TPTP formula. May not be expressible in strict first order. |
terms-cz.txt 312-312 |
|
No TPTP formula. May not be expressible in strict first order. |
relations-ro.kif 763-763 |
|
No TPTP formula. May not be expressible in strict first order. |
terms-tg.txt 277-277 |
|