No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 1983-1983 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 1982-1982 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 1981-1981 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 46651-46651 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 46650-46650 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 46649-46649 |
|