No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 1951-1951 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 1950-1950 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 1949-1949 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 45246-45246 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 45245-45245 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 45244-45244 |
|