TextureAttribute(texture attribute) | abrasiveness, adamantine, adherence, adhesion, adhesiveness, aerodynamic, bond, bristliness, bumpiness, bumpy, burl, canaliculate, cheeselike, chewable, close, close-grained, coarse-grained, coarse-textured, coarseness, cobwebby, cohesiveness, coriaceous, corneous, corrugated, cottony, crisp, crispy, cuttable, diaphanous, doughy, downlike, downy, entire, farinaceous, feel, fibrous, filmy, fine, fine-grained, fineness, firm, flabby, flaccid, flocculent, flossy, floury, flowing, fluffy, furrowed, gauze-like... |
appearance as argument number 1 |
No TPTP formula. May not be expressible in strict first order. | chinese_format.kif 3965-3965 | |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 17782-17783 | |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 17784-17784 | Texture attribute is a subclass of perceptual attribute |
appearance as argument number 2 |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 17797-17797 | Rough is an instance of texture attribute |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 17793-17793 | Smooth is an instance of texture attribute |
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 |
antecedent |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 17786-17791 |
|