No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 1931-1931 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 1930-1930 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 1929-1929 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 45090-45090 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 45089-45089 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 45088-45088 |
|