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 46736-46736 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 46735-46735 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 46734-46734 |
|