No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 1743-1743 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 1742-1742 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 1741-1741 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 37883-37883 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 37882-37882 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 37881-37881 |
|