No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 1923-1923 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 1922-1922 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 1921-1921 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 44880-44880 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 44879-44879 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 44878-44878 |
|