No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 2599-2599 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 2598-2598 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 2597-2597 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 61718-61718 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 61717-61717 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 61716-61716 |
|