No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 1979-1979 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 1978-1978 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 1977-1977 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 46515-46515 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 46514-46514 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 46513-46513 |
|