No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 1939-1939 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 1938-1938 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 1937-1937 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 45138-45138 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 45137-45137 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 45136-45136 |
|