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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - ColorAttribute
ColorAttribute(color attribute)
Chinese-red, Davy's_gray, Davy's_grey, Indian_red, Paris_green, Prussian_blue, Turkey_red, Tyrian_purple, Vandyke_brown, Venetian_red, ablaze, achromasia, achromatic, achromatic_color, achromatic_colour, achromaticity, achromatism, achromatous, achromic, achromous, alabaster, alizarine_red, amber-green, amethyst, apricot, aqua, aquamarine, argent, ash-gray, ash-grey, ashen, ashy, auburn, avocado, azure, band, banding, bar, bay, beige, blackish-brown, blackish-red, blae, blanched, blaze, bleach, bleached, blond, blonde, blondness...

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


(documentation ColorAttribute ChineseLanguage "这是关于 Object 颜色 AttributeClass。") chinese_format.kif 3945-3946
(documentation ColorAttribute EnglishLanguage "The Class of Attributes relating to the color of Objects.") Merge.kif 16411-16412
(externalImage ColorAttribute "http://upload.wikimedia.org/wikipedia/commons/ b/ b0/ CIExy1931.png") pictureList.kif 9096-9096
(externalImage ColorAttribute "http://upload.wikimedia.org/wikipedia/commons/ b/ b1/ Colouring_pencils.jpg") pictureList.kif 8430-8430
(externalImage ColorAttribute "http://upload.wikimedia.org/wikipedia/commons/ e/ ec/ Spectrum441pxWithnm.png") pictureList.kif 9097-9097
(subclass ColorAttribute VisualAttribute) Merge.kif 16409-16409 Color attribute is a subclass of visual attribute

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


(instance Monochromatic ColorAttribute) Merge.kif 16433-16433 Monochromatic is an instance of color attribute
(instance Polychromatic ColorAttribute) Merge.kif 16454-16454 Polychromatic is an instance of color attribute
(subclass PrimaryColor ColorAttribute) Merge.kif 16414-16414 Primary color is a subclass of color attribute
(subclass SecondaryColor ColorAttribute) Mid-level-ontology.kif 17156-17156 Secondary color is a subclass of color attribute
(subclass SpectralColor ColorAttribute) Mid-level-ontology.kif 17152-17152 Spectral color is a subclass of color attribute
(termFormat ChineseLanguage ColorAttribute "颜色属性") chinese_format.kif 1252-1252
(termFormat EnglishLanguage ColorAttribute "color attribute") english_format.kif 1730-1730

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


(domain color 2 ColorAttribute) Mid-level-ontology.kif 17142-17142 The number 2 argument of color is an instance of color attribute

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


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

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 11679-11693
(=>
    (and
        (instance ?SEE Seeing)
        (agent ?SEE ?AGENT)
        (patient ?SEE ?OBJ))
    (exists (?PROP)
        (and
            (instance ?PROP ColorAttribute)
            (knows ?AGENT
                (attribute ?OBJ ?PROP)))))
Merge.kif 12492-12500
(=>
    (and
        (instance ?SEE Seeing)
        (patient ?SEE ?OBJ))
    (exists (?ATTR)
        (and
            (instance ?ATTR ColorAttribute)
            (holdsDuring
                (WhenFn ?SEE)
                (attribute ?OBJ ?ATTR)))))
Merge.kif 12509-12517
(=>
    (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 16459-16469


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