No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 2279-2279 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 2278-2278 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 2277-2277 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 52797-52797 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 52796-52796 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 52795-52795 |
|