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 53024-53024 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 53023-53023 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 53022-53022 |
|