No TPTP formula. May not be expressible in strict first order. |
Merge.kif 17854-17854 |
Rough is an instance of texture attribute |
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 17850-17850 |
Smooth is an instance of texture attribute |
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 57766-57766 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 57765-57765 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 57764-57764 |
|
No TPTP formula. May not be expressible in strict first order. |
terms-hindi.txt 467-467 |
|
No TPTP formula. May not be expressible in strict first order. |
terms-it.txt 470-470 |
|
No TPTP formula. May not be expressible in strict first order. |
terms-cz.txt 506-506 |
|
No TPTP formula. May not be expressible in strict first order. |
terms-tg.txt 471-471 |
|