No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 1967-1967 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 1966-1966 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 1965-1965 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 46274-46274 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 46273-46273 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 46272-46272 |
|