No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 2579-2579 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 2578-2578 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 2577-2577 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 60536-60536 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 60535-60535 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 60534-60534 |
|