No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 1995-1995 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 1994-1994 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 1993-1993 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 46669-46669 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 46668-46668 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 46667-46667 |
|