No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 1643-1643 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 1642-1642 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 1641-1641 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 36539-36539 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 36538-36538 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 36537-36537 |
|