No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 2063-2063 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 2062-2062 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 2061-2061 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 47500-47500 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 47499-47499 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 47498-47498 |
|