No TPTP formula. May not be expressible in strict first order. |
chinese_format.kif 945-945 |
|
No TPTP formula. May not be expressible in strict first order. |
english_format.kif 1097-1097 |
|
No TPTP formula. May not be expressible in strict first order. |
french_format.kif 621-621 |
|
No TPTP formula. May not be expressible in strict first order. |
terms-hindi.txt 152-152 |
|
No TPTP formula. May not be expressible in strict first order. |
terms-it.txt 155-155 |
|
No TPTP formula. May not be expressible in strict first order. |
japanese_format.kif 2306-2306 |
|
No TPTP formula. May not be expressible in strict first order. |
portuguese_format.kif 573-573 |
|
No TPTP formula. May not be expressible in strict first order. |
terms-cz.txt 189-189 |
|
No TPTP formula. May not be expressible in strict first order. |
relations-ro.kif 642-642 |
|
No TPTP formula. May not be expressible in strict first order. |
terms-tg.txt 156-156 |
|