No TPTP formula. May not be expressible in strict first order. |
chinese_format.kif 869-869 |
|
No TPTP formula. May not be expressible in strict first order. |
english_format.kif 940-940 |
|
No TPTP formula. May not be expressible in strict first order. |
french_format.kif 545-545 |
|
No TPTP formula. May not be expressible in strict first order. |
terms-hindi.txt 75-75 |
|
No TPTP formula. May not be expressible in strict first order. |
terms-it.txt 78-78 |
|
No TPTP formula. May not be expressible in strict first order. |
japanese_format.kif 2230-2230 |
|
No TPTP formula. May not be expressible in strict first order. |
portuguese_format.kif 497-497 |
|
No TPTP formula. May not be expressible in strict first order. |
terms-cz.txt 112-112 |
|
No TPTP formula. May not be expressible in strict first order. |
relations-ro.kif 566-566 |
|
No TPTP formula. May not be expressible in strict first order. |
terms-tg.txt 79-79 |
|