No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 3286-3286 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 3285-3285 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 3284-3284 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 65817-65817 |
|