No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 919-919 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 918-918 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 917-917 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 22348-22348 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 22347-22347 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 22346-22346 |
|