No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 1587-1587 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 1586-1586 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 1585-1585 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 35165-35165 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 35164-35164 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 35163-35163 |
|