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 44882-44882 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 44881-44881 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 44880-44880 |
|