No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 2295-2295 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 2294-2294 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 2293-2293 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 53026-53026 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 53025-53025 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 53024-53024 |
|