No TPTP formula. May not be expressible in strict first order. |
chinese_format.kif 1033-1033 |
|
No TPTP formula. May not be expressible in strict first order. |
english_format.kif 1278-1278 |
|
No TPTP formula. May not be expressible in strict first order. |
french_format.kif 711-711 |
|
No TPTP formula. May not be expressible in strict first order. |
terms-hindi.txt 243-243 |
|
No TPTP formula. May not be expressible in strict first order. |
terms-it.txt 246-246 |
|
No TPTP formula. May not be expressible in strict first order. |
japanese_format.kif 2394-2394 |
|
No TPTP formula. May not be expressible in strict first order. |
portuguese_format.kif 663-663 |
|
No TPTP formula. May not be expressible in strict first order. |
terms-cz.txt 281-281 |
|
No TPTP formula. May not be expressible in strict first order. |
relations-ro.kif 732-732 |
|
No TPTP formula. May not be expressible in strict first order. |
terms-tg.txt 247-247 |
|