No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 2567-2567 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 2566-2566 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 2565-2565 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 59912-59912 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 59911-59911 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 59910-59910 |
|