No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 1369-1369 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 1368-1368 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 1367-1367 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 65860-65860 |
|