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 45212-45212 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 45211-45211 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 45210-45210 |
|