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 44857-44857 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 44856-44856 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 44855-44855 |
|