No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 3562-3562 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 3561-3561 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 3560-3560 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 26736-26736 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 26735-26735 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 26734-26734 |
|