No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 34931-34931 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 34930-34930 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 34929-34929 |
|
No TPTP formula. May not be expressible in strict first order. |
terms-hindi.txt 132-132 |
|
No TPTP formula. May not be expressible in strict first order. |
terms-it.txt 135-135 |
|
No TPTP formula. May not be expressible in strict first order. |
terms-cz.txt 169-169 |
|
No TPTP formula. May not be expressible in strict first order. |
terms-tg.txt 136-136 |
|