No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 2223-2223 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 2222-2222 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 2221-2221 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 51843-51843 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 51842-51842 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 51841-51841 |
|