No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 1947-1947 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 1946-1946 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 1945-1945 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 45210-45210 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 45209-45209 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 45208-45208 |
|