No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 1555-1555 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 1554-1554 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 1553-1553 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 34835-34835 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 34834-34834 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 34833-34833 |
|