No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 2015-2015 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 2014-2014 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 2013-2013 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 47006-47006 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 47005-47005 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 47004-47004 |
|