No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 1963-1963 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 1962-1962 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 1961-1961 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 45870-45870 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 45869-45869 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 45868-45868 |
|