No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 2007-2007 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 2006-2006 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 2005-2005 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 46892-46892 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 46891-46891 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 46890-46890 |
|