No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 2427-2427 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 2426-2426 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 2425-2425 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 56329-56329 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 56328-56328 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 56327-56327 |
|