No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 1991-1991 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 1990-1990 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 1989-1989 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 46663-46663 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 46662-46662 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 46661-46661 |
|