No TPTP formula. May not be expressible in strict first order. |
chinese_format.kif 1090-1090 |
|
No TPTP formula. May not be expressible in strict first order. |
english_format.kif 1391-1391 |
|
No TPTP formula. May not be expressible in strict first order. |
french_format.kif 768-768 |
|
No TPTP formula. May not be expressible in strict first order. |
terms-hindi.txt 300-300 |
|
No TPTP formula. May not be expressible in strict first order. |
terms-it.txt 303-303 |
|
No TPTP formula. May not be expressible in strict first order. |
japanese_format.kif 2452-2452 |
|
No TPTP formula. May not be expressible in strict first order. |
portuguese_format.kif 720-720 |
|
No TPTP formula. May not be expressible in strict first order. |
terms-cb.txt 305-305 |
|
No TPTP formula. May not be expressible in strict first order. |
terms-cz.txt 339-339 |
|
No TPTP formula. May not be expressible in strict first order. |
relations-ro.kif 789-789 |
|
No TPTP formula. May not be expressible in strict first order. |
terms-tg.txt 304-304 |
|