No TPTP formula. May not be expressible in strict first order. |
chinese_format.kif 902-902 |
|
No TPTP formula. May not be expressible in strict first order. |
english_format.kif 1011-1011 |
|
No TPTP formula. May not be expressible in strict first order. |
french_format.kif 578-578 |
|
No TPTP formula. May not be expressible in strict first order. |
terms-hindi.txt 108-108 |
|
No TPTP formula. May not be expressible in strict first order. |
terms-it.txt 111-111 |
|
No TPTP formula. May not be expressible in strict first order. |
japanese_format.kif 2263-2263 |
|
No TPTP formula. May not be expressible in strict first order. |
portuguese_format.kif 530-530 |
|
No TPTP formula. May not be expressible in strict first order. |
terms-cz.txt 145-145 |
|
No TPTP formula. May not be expressible in strict first order. |
relations-ro.kif 599-599 |
|
No TPTP formula. May not be expressible in strict first order. |
terms-tg.txt 112-112 |
|