No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 2263-2263 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 2262-2262 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 2261-2261 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 52623-52623 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 52622-52622 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 52621-52621 |
|