Browsing Interface : Welcome guest : log in
Home |  Graph |  ]  KB:  Language:   

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - TextureAttribute
TextureAttribute

appearance as argument number 1
-------------------------


(documentation TextureAttribute ChineseLanguage "这是任何代表 Object 的质地的 Attribute。") Merge.kif 22585-22585
(documentation TextureAttribute EnglishLanguage "Any Attribute that characterizes the texture of an Object.") Merge.kif 22582-22583
(subclass TextureAttribute PerceptualAttribute) Merge.kif 22584-22584 TextureAttribute知覚属性subclass では %n

appearance as argument number 2
-------------------------


(instance Rough TextureAttribute) Merge.kif 22599-22599 RoughTextureAttributeinstance では %n
(instance Smooth TextureAttribute) Merge.kif 22594-22594 SmoothTextureAttributeinstance では %n
(termFormat ChineseLanguage TextureAttribute "纹理属性") domainEnglishFormat.kif 57703-57703 termFormat ChineseLanguage, TextureAttribute and "纹理属性"
(termFormat ChineseTraditionalLanguage TextureAttribute "紋理屬性") domainEnglishFormat.kif 57702-57702 termFormat ChineseTraditionalLanguage, TextureAttribute and "紋理屬性"
(termFormat EnglishLanguage TextureAttribute "texture attribute") domainEnglishFormat.kif 57701-57701 termFormat EnglishLanguage, TextureAttribute and "texture attribute"

antecedent
-------------------------


(=>
    (and
        (instance ?ATTRIBUTE TextureAttribute)
        (attribute ?OBJ ?ATTRIBUTE)
        (surface ?SURFACE ?OBJ))
    (attribute ?SURFACE ?ATTRIBUTE))
Merge.kif 22587-22592


Show full definition with tree view
Show simplified definition (without tree view)
Show simplified definition (with tree view)



Sigma web home      Suggested Upper Merged Ontology (SUMO) web home
Sigma version 2.99c (>= 2017/11/20) is open source software produced by Articulate Software and its partners