No TPTP formula. May not be expressible in strict first order. |
chinese_format.kif 1037-1037 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 65350-65350 |
|
No TPTP formula. May not be expressible in strict first order. |
french_format.kif 715-715 |
|
No TPTP formula. May not be expressible in strict first order. |
terms-hindi.txt 247-247 |
|
No TPTP formula. May not be expressible in strict first order. |
terms-it.txt 250-250 |
|
No TPTP formula. May not be expressible in strict first order. |
japanese_format.kif 2398-2398 |
|
No TPTP formula. May not be expressible in strict first order. |
japanese_format.kif 2399-2399 |
|
No TPTP formula. May not be expressible in strict first order. |
portuguese_format.kif 667-667 |
|
No TPTP formula. May not be expressible in strict first order. |
terms-cb.txt 252-252 |
|
No TPTP formula. May not be expressible in strict first order. |
terms-cz.txt 285-285 |
|
No TPTP formula. May not be expressible in strict first order. |
relations-ro.kif 736-736 |
|
No TPTP formula. May not be expressible in strict first order. |
terms-tg.txt 251-251 |
|