No TPTP formula. May not be expressible in strict first order. |
Merge.kif 17775-17775 |
Rough e' uma instancia de TextureAttribute |
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 17771-17771 |
Smooth e' uma instancia de TextureAttribute |
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. |
domainEnglishFormat.kif 57763-57763 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 57762-57762 |
|
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 |
|