No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 2834-2834 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 2833-2833 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 2832-2832 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 8982-8982 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 8981-8981 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 8980-8980 |
|