No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 1999-1999 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 1998-1998 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 1997-1997 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 46738-46738 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 46737-46737 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 46736-46736 |
|