No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 1515-1515 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 1514-1514 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 1513-1513 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 34031-34031 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 34030-34030 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 34029-34029 |
|