Browsing Interface : Welcome guest : log in
|
Browsing Interface : Welcome guest : log in |
[
Home |
Graph |
LogLearn |
Editor |
]
KB:
Language:
Formal Language:
|
 |
   CollectionOfObjects
|
|
|
| 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 |
|