No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 1959-1959 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 1958-1958 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 1957-1957 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 45594-45594 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 45593-45593 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 45592-45592 |
|