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


(subclass ColorAttribute VisualAttribute) Merge.kif 18017-18017 Color attribute is a subclass of visual attribute
(documentation ColorAttribute EnglishLanguage "The Class of Attributes relating to the color of Objects.") Merge.kif 18019-18020 Color attribute is a subclass of visual attribute
(externalImage ColorAttribute "http://upload.wikimedia.org/wikipedia/commons/ b/ b1/ Colouring_pencils.jpg") pictureList.kif 8427-8427 Color attribute is a subclass of visual attribute
(externalImage ColorAttribute "http://upload.wikimedia.org/wikipedia/commons/ b/ b0/ CIExy1931.png") pictureList.kif 9090-9090 Color attribute is a subclass of visual attribute
(externalImage ColorAttribute "http://upload.wikimedia.org/wikipedia/commons/ e/ ec/ Spectrum441pxWithnm.png") pictureList.kif 9091-9091 Color attribute is a subclass of visual attribute

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


(subclass PrimaryColor ColorAttribute) Merge.kif 18022-18022 Primary color is a subclass of color attribute
(instance Monochromatic ColorAttribute) Merge.kif 18041-18041 Monochromatic is an instance of color attribute
(instance Polychromatic ColorAttribute) Merge.kif 18062-18062 Polychromatic is an instance of color attribute
(subclass SpectralColor ColorAttribute) Mid-level-ontology.kif 21270-21270 Spectral color is a subclass of color attribute
(subclass SecondaryColor ColorAttribute) Mid-level-ontology.kif 21275-21275 Secondary color is a subclass of color attribute
(termFormat EnglishLanguage ColorAttribute "color attribute") english_format.kif 1729-1729 Secondary color is a subclass of color attribute

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


(domain color 2 ColorAttribute) Mid-level-ontology.kif 21260-21260 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 21262-21268 If X is an instance of color attribute and X is an attribute of Y holds during Z, then Y is the color X holds during Z

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 12926-12940 If X is an instance of coloring and Y is a patient of X, then there exist Z and W such that W is a part of Y and Z is an instance of color attribute and Z is an attribute of W holds during the beginning of the time of existence of X and Z is not an attribute of W holds during the end of the time of existence of X or Z is not an attribute of W holds during the beginning of the time of existence of X and Z is an attribute of W holds during the end of the time of existence of X
(=>
    (and
        (instance ?SEE Seeing)
        (agent ?SEE ?AGENT)
        (patient ?SEE ?OBJ))
    (exists (?PROP)
        (and
            (instance ?PROP ColorAttribute)
            (knows ?AGENT
                (attribute ?OBJ ?PROP)))))		 Merge.kif 13835-13843 If X is an instance of seeing, Y is an agent of X, and Z is a patient of X, then there exists W such that W is an instance of color attribute and Y knows W is an attribute of Z
(=>
    (and
        (instance ?SEE Seeing)
        (patient ?SEE ?OBJ))
    (exists (?ATTR)
        (and
            (instance ?ATTR ColorAttribute)
            (holdsDuring
                (WhenFn ?SEE)
                (attribute ?OBJ ?ATTR)))))		 Merge.kif 13852-13860 If X is an instance of seeing and Y is a patient of X, then there exists Z such that Z is an instance of color attribute and Z is an attribute of Y holds during the time of existence of X
(=>
    (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 18067-18077 If polychromatic is an attribute of X, then All of the following hold: (1) there exist Y, Z,, , W (2) V such that Y is a superficial part of X (3) Z is a superficial part of X (4) W is an attribute of Y (5) V is an attribute of Z (6) W is an instance of color attribute (7) V is an instance of color attribute (8) equal W (9) V
(=>
    (and
        (instance ?P Putting)
        (patient ?P ?S)
        (instance ?S Spice)
        (destination ?P ?F)
        (instance ?F PreparedFood))
    (exists (?C ?A)
        (and
            (instance ?C InternalChange)
            (patient ?C ?F)
            (result ?C ?A)
            (attribute ?F ?A)
            (or
                (instance ?A FlavourAttribute)
                (instance ?A ColorAttribute)))))		 Economy.kif 4717-4732 If X is an instance of putting, Y is a patient of X, Y is an instance of spice, X ends up at Z, and Z is an instance of food, then there exist W, V such that W is an instance of internal change, Z is a patient of W, V is a result of W, V is an attribute of Z, and V is an instance of flavour attribute or V is an instance of color attribute


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 3.0.0-0a80e6c8 (2026-05-12) is open source software produced by Articulate Software and its partners