Browsing Interface : Welcome guest : log in
|
Browsing Interface : Welcome guest : log in |
[
Home |
Graph |
LogLearn |
Editor |
]
KB:
Language:
Formal Language:
|
| 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 |
|
|
| (documentation TextureAttribute EnglishLanguage "Any Attribute that characterizes the texture of an Object.") | Merge.kif 18117-18118 | |
| (subclass TextureAttribute PerceptualAttribute) | Merge.kif 18119-18119 | Texture attribute is a subclass of perceptual attribute |
| appearance as argument number 2 |
|
|
| (instance Smooth TextureAttribute) | Merge.kif 18128-18128 | Smooth is an instance of texture attribute |
| (instance Rough TextureAttribute) | Merge.kif 18132-18132 | Rough is an instance of texture attribute |
| (termFormat EnglishLanguage TextureAttribute "texture attribute") | domainEnglishFormat.kif 57763-57763 | Rough is an instance of texture attribute |
| (termFormat ChineseTraditionalLanguage TextureAttribute "紋理屬性") | domainEnglishFormat.kif 57764-57764 | Rough is an instance of texture attribute |
| (termFormat ChineseLanguage TextureAttribute "纹理属性") | domainEnglishFormat.kif 57765-57765 | Rough is an instance of texture attribute |
| antecedent |
|
|
| (=> (and (instance ?ATTRIBUTE TextureAttribute) (attribute ?OBJ ?ATTRIBUTE) (surface ?SURFACE ?OBJ)) (attribute ?SURFACE ?ATTRIBUTE)) |
Merge.kif 18121-18126 | If X is an instance of texture attribute, X is an attribute of Y, and Z is a surface of Y, then X is an attribute of Z |
|