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 46513-46513 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 46512-46512 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 46511-46511 |
|