No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 2411-2411 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 2410-2410 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 2409-2409 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 55939-55939 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 55938-55938 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 55937-55937 |
|