No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 2003-2003 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 2002-2002 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 2001-2001 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 46750-46750 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 46749-46749 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 46748-46748 |
|