No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 1987-1987 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 1986-1986 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 1985-1985 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 46659-46659 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 46658-46658 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 46657-46657 |
|