No TPTP formula. May not be expressible in strict first order. |
chinese_format.kif 939-939 |
|
No TPTP formula. May not be expressible in strict first order. |
english_format.kif 1085-1085 |
|
No TPTP formula. May not be expressible in strict first order. |
french_format.kif 615-615 |
|
No TPTP formula. May not be expressible in strict first order. |
terms-hindi.txt 146-146 |
|
No TPTP formula. May not be expressible in strict first order. |
terms-it.txt 149-149 |
|
No TPTP formula. May not be expressible in strict first order. |
japanese_format.kif 2300-2300 |
|
No TPTP formula. May not be expressible in strict first order. |
portuguese_format.kif 567-567 |
|
No TPTP formula. May not be expressible in strict first order. |
terms-cz.txt 183-183 |
|
No TPTP formula. May not be expressible in strict first order. |
relations-ro.kif 636-636 |
|
No TPTP formula. May not be expressible in strict first order. |
terms-tg.txt 150-150 |
|