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 颜色 Attribute 的 Class。") chinese_format.kif 3945-3946
(documentation ColorAttribute EnglishLanguage "The Class of Attributes relating to the color of Objects.") Merge.kif 17796-17797
(externalImage ColorAttribute "http://upload.wikimedia.org/wikipedia/commons/ b/ b0/ CIExy1931.png") pictureList.kif 9090-9090
(externalImage ColorAttribute "http://upload.wikimedia.org/wikipedia/commons/ b/ b1/ Colouring_pencils.jpg") pictureList.kif 8427-8427
(externalImage ColorAttribute "http://upload.wikimedia.org/wikipedia/commons/ e/ ec/ Spectrum441pxWithnm.png") pictureList.kif 9091-9091
(subclass ColorAttribute VisualAttribute) Merge.kif 17794-17794 Color attribute is a subclass of visual attribute

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


(instance Monochromatic ColorAttribute) Merge.kif 17818-17818 Monochromatic is an instance of color attribute
(instance Polychromatic ColorAttribute) Merge.kif 17839-17839 Polychromatic is an instance of color attribute
(subclass PrimaryColor ColorAttribute) Merge.kif 17799-17799 Primary color is a subclass of color attribute
(subclass SecondaryColor ColorAttribute) Mid-level-ontology.kif 20953-20953 Secondary color is a subclass of color attribute
(subclass SpectralColor ColorAttribute) Mid-level-ontology.kif 20948-20948 Spectral color is a subclass of color attribute
(termFormat ChineseLanguage ColorAttribute "颜色属性") chinese_format.kif 1252-1252 Spectral color is a subclass of color attribute
(termFormat EnglishLanguage ColorAttribute "color attribute") english_format.kif 1725-1725 Spectral color is a subclass of color attribute
(termFormat FrenchLanguage ColorAttribute "attribut de couleur") french_format.kif 930-930 Spectral color is a subclass of color attribute
(termFormat Hindi ColorAttribute "varNa visheshataa") terms-hindi.txt 464-464 Spectral color is a subclass of color attribute
(termFormat ItalianLanguage ColorAttribute "AttributoDiColore") terms-it.txt 467-467 Spectral color is a subclass of color attribute
(termFormat JapaneseLanguage ColorAttribute "カラー属性") japanese_format.kif 2614-2614 Spectral color is a subclass of color attribute
(termFormat PortugueseLanguage ColorAttribute "Atributo de Cor") portuguese_format.kif 882-882 Spectral color is a subclass of color attribute
(termFormat cb ColorAttribute "abuhong hiyas") terms-cb.txt 469-469 Spectral color is a subclass of color attribute
(termFormat cz ColorAttribute "color attribute") terms-cz.txt 503-503 Spectral color is a subclass of color attribute
(termFormat de ColorAttribute "Farbeattribut") terms-de.txt 762-762 Spectral color is a subclass of color attribute
(termFormat ro ColorAttribute "atribut de culoare") relations-ro.kif 951-951 Spectral color is a subclass of color attribute
(termFormat tg ColorAttribute "katangian ng kulay") terms-tg.txt 468-468 Spectral color is a subclass of color attribute

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


(domain color 2 ColorAttribute) Mid-level-ontology.kif 20938-20938 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 20940-20946

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 12741-12755
(=>
    (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 4719-4734
(=>
    (and
        (instance ?SEE Seeing)
        (agent ?SEE ?AGENT)
        (patient ?SEE ?OBJ))
    (exists (?PROP)
        (and
            (instance ?PROP ColorAttribute)
            (knows ?AGENT
                (attribute ?OBJ ?PROP)))))		 Merge.kif 13630-13638
(=>
    (and
        (instance ?SEE Seeing)
        (patient ?SEE ?OBJ))
    (exists (?ATTR)
        (and
            (instance ?ATTR ColorAttribute)
            (holdsDuring
                (WhenFn ?SEE)
                (attribute ?OBJ ?ATTR)))))		 Merge.kif 13647-13655
(=>
    (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 17844-17854


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 is open source software produced by Articulate Software and its partners