No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 1795-1795 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 1794-1794 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 1793-1793 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 39977-39977 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 39976-39976 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 39975-39975 |
|