No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 1579-1579 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 1578-1578 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 1577-1577 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 35153-35153 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 35152-35152 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 35151-35151 |
|