No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 3906-3906 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 3905-3905 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 3904-3904 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 38709-38709 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 38708-38708 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 38707-38707 |
|