No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 1539-1539 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 1538-1538 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 1537-1537 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 34469-34469 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 34468-34468 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 34467-34467 |
|