No TPTP formula. May not be expressible in strict first order. |
chinese_format.kif 1117-1117 |
|
No TPTP formula. May not be expressible in strict first order. |
english_format.kif 1451-1451 |
|
No TPTP formula. May not be expressible in strict first order. |
french_format.kif 795-795 |
|
No TPTP formula. May not be expressible in strict first order. |
terms-hindi.txt 327-327 |
|
No TPTP formula. May not be expressible in strict first order. |
terms-it.txt 330-330 |
|
No TPTP formula. May not be expressible in strict first order. |
japanese_format.kif 2479-2479 |
|
No TPTP formula. May not be expressible in strict first order. |
portuguese_format.kif 747-747 |
|
No TPTP formula. May not be expressible in strict first order. |
terms-cb.txt 332-332 |
|
No TPTP formula. May not be expressible in strict first order. |
terms-cz.txt 366-366 |
|
No TPTP formula. May not be expressible in strict first order. |
relations-ro.kif 816-816 |
|
No TPTP formula. May not be expressible in strict first order. |
terms-tg.txt 331-331 |
|