No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 1783-1783 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 1782-1782 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 1781-1781 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 39891-39891 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 39890-39890 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 39889-39889 |
|