No TPTP formula. May not be expressible in strict first order. |
Merge.kif 17775-17775 |
例 粗 and 紋理屬性 |
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 17771-17771 |
例 平滑 and 紋理屬性 |
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 |
|