No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 1911-1911 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 1910-1910 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 1909-1909 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 44670-44670 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 44669-44669 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 44668-44668 |
|