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 46272-46272 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 46271-46271 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 46270-46270 |
|