No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 1329-1329 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 1328-1328 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 1327-1327 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 29929-29929 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 29928-29928 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 29927-29927 |
|