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

Formal Language: 



KB Term:  Term intersection
English Word: 

  ColorAttribute

Sigma KEE - ColorAttribute
ColorAttribute(颜色属性)

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


(documentation ColorAttribute ChineseLanguage "这是关于 Object 颜色 AttributeClass。") Merge.kif 18094-18095
(documentation ColorAttribute EnglishLanguage "The Class of Attributes relating to the color of Objects.") Merge.kif 18092-18093
(externalImage ColorAttribute "http://upload.wikimedia.org/wikipedia/commons/ b/ b0/ CIExy1931.png") pictureList.kif 9096-9096 externalImage 颜色属性 and "http://upload.wikimedia.org/wikipedia/commons/b/b0/ CIExy1931.png"
(externalImage ColorAttribute "http://upload.wikimedia.org/wikipedia/commons/ b/ b1/ Colouring_pencils.jpg") pictureList.kif 8430-8430 externalImage 颜色属性 and "http://upload.wikimedia.org/wikipedia/commons/b/b1/ Colouring_pencils.jpg"
(externalImage ColorAttribute "http://upload.wikimedia.org/wikipedia/commons/ e/ ec/ Spectrum441pxWithnm.png") pictureList.kif 9097-9097 externalImage 颜色属性 and "http://upload.wikimedia.org/wikipedia/commons/e/ec/ Spectrum441pxWithnm.png"
(subclass ColorAttribute VisualAttribute) Merge.kif 18090-18090 颜色属性视觉属性subclass

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


(instance Monochromatic ColorAttribute) Merge.kif 18123-18123 Monochromatic颜色属性instance
(instance Polychromatic ColorAttribute) Merge.kif 18146-18146 Polychromatic颜色属性instance
(subclass PrimaryColor ColorAttribute) Merge.kif 18097-18097 原色颜色属性subclass
(subclass SecondaryColor ColorAttribute) Mid-level-ontology.kif 17154-17154 SecondaryColor颜色属性subclass
(subclass SpectralColor ColorAttribute) Mid-level-ontology.kif 17150-17150 SpectralColor颜色属性subclass
(termFormat ChineseLanguage ColorAttribute "颜色属性") chinese_format.kif 1252-1252 termFormat ChineseLanguage, 颜色属性 and "颜色属性"
(termFormat EnglishLanguage ColorAttribute "color attribute") english_format.kif 1837-1837 termFormat EnglishLanguage, 颜色属性 and "color attribute"
(termFormat JapaneseLanguage ColorAttribute "カラー属性") english_format.kif 1838-1838 termFormat JapaneseLanguage, 颜色属性 and "カラー属性"

appearance as argument number 3
-------------------------


(domain color 2 ColorAttribute) Mid-level-ontology.kif 17140-17140 color 的 2 数量 是 颜色属性instance

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


(=>
    (and
        (instance ?ATTR ColorAttribute)
        (holdsDuring ?T1
            (attribute ?OBJ ?ATTR)))
    (holdsDuring ?T1
        (color ?OBJ ?ATTR)))
Mid-level-ontology.kif 17142-17148

consequent
-------------------------


(=>
    (and
        (instance ?COLORING Coloring)
        (patient ?COLORING ?OBJ))
    (exists (?PROPERTY ?PART)
        (and
            (part ?PART ?OBJ)
            (instance ?PROPERTY ColorAttribute)
            (or
                (and
                    (holdsDuring
                        (BeginFn
                            (WhenFn ?COLORING))
                        (attribute ?PART ?PROPERTY))
                    (holdsDuring
                        (EndFn
                            (WhenFn ?COLORING))
                        (not
                            (attribute ?PART ?PROPERTY))))
                (and
                    (holdsDuring
                        (BeginFn
                            (WhenFn ?COLORING))
                        (not
                            (attribute ?PART ?PROPERTY)))
                    (holdsDuring
                        (EndFn
                            (WhenFn ?COLORING))
                        (attribute ?PART ?PROPERTY)))))))
Merge.kif 12550-12564
(=>
    (and
        (instance ?SEE Seeing)
        (agent ?SEE ?AGENT)
        (patient ?SEE ?OBJ))
    (exists (?PROP)
        (and
            (instance ?PROP ColorAttribute)
            (knows ?AGENT
                (attribute ?OBJ ?PROP)))))
Merge.kif 13478-13486
(=>
    (and
        (instance ?SEE Seeing)
        (patient ?SEE ?OBJ))
    (exists (?ATTR)
        (and
            (instance ?ATTR ColorAttribute)
            (holdsDuring
                (WhenFn ?SEE)
                (attribute ?OBJ ?ATTR)))))
Merge.kif 13495-13503
(=>
    (attribute ?OBJ Polychromatic)
    (exists (?PART1 ?PART2 ?COLOR1 ?COLOR2)
        (and
            (superficialPart ?PART1 ?OBJ)
            (superficialPart ?PART2 ?OBJ)
            (attribute ?PART1 ?COLOR1)
            (attribute ?PART2 ?COLOR2)
            (instance ?COLOR1 ColorAttribute)
            (instance ?COLOR2 ColorAttribute)
            (not
                (equal ?COLOR1 ?COLOR2)))))
Merge.kif 18153-18163


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

Show without tree


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