No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 2247-2247 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 2246-2246 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 2245-2245 |
|
No TPTP formula. May not be expressible in strict first order. |
chinese_format.kif 919-919 |
|
No TPTP formula. May not be expressible in strict first order. |
english_format.kif 1045-1045 |
|
No TPTP formula. May not be expressible in strict first order. |
french_format.kif 595-595 |
|
No TPTP formula. May not be expressible in strict first order. |
terms-hindi.txt 125-125 |
|
No TPTP formula. May not be expressible in strict first order. |
terms-it.txt 128-128 |
|
No TPTP formula. May not be expressible in strict first order. |
japanese_format.kif 2280-2280 |
|
No TPTP formula. May not be expressible in strict first order. |
portuguese_format.kif 547-547 |
|
No TPTP formula. May not be expressible in strict first order. |
terms-cz.txt 162-162 |
|
No TPTP formula. May not be expressible in strict first order. |
relations-ro.kif 616-616 |
|
No TPTP formula. May not be expressible in strict first order. |
terms-tg.txt 129-129 |
|