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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - ColorAttribute
ColorAttribute(attribut de couleur)

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 17684-17685
(externalImage ColorAttribute "http://upload.wikimedia.org/wikipedia/commons/ b/ b0/ CIExy1931.png") pictureList.kif 9091-9091
(externalImage ColorAttribute "http://upload.wikimedia.org/wikipedia/commons/ b/ b1/ Colouring_pencils.jpg") pictureList.kif 8428-8428
(externalImage ColorAttribute "http://upload.wikimedia.org/wikipedia/commons/ e/ ec/ Spectrum441pxWithnm.png") pictureList.kif 9092-9092
(subclass ColorAttribute VisualAttribute) Merge.kif 17682-17682 Attribut de couleur est une sous-classe de attribut visuel

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


(instance Monochromatic ColorAttribute) Merge.kif 17706-17706 Monochromatic est une instance de attribut de couleur
(instance Polychromatic ColorAttribute) Merge.kif 17727-17727 Polychromatic est une instance de attribut de couleur
(subclass PrimaryColor ColorAttribute) Merge.kif 17687-17687 Couleur primaire est une sous-classe de attribut de couleur
(subclass SecondaryColor ColorAttribute) Mid-level-ontology.kif 19374-19374 SecondaryColor est une sous-classe de attribut de couleur
(subclass SpectralColor ColorAttribute) Mid-level-ontology.kif 19369-19369 SpectralColor est une sous-classe de attribut de couleur
(termFormat ChineseLanguage ColorAttribute "颜色属性") chinese_format.kif 1252-1252
(termFormat EnglishLanguage ColorAttribute "color attribute") english_format.kif 1725-1725
(termFormat FrenchLanguage ColorAttribute "attribut de couleur") french_format.kif 930-930
(termFormat Hindi ColorAttribute "varNa visheshataa") terms-hindi.txt 464-464
(termFormat ItalianLanguage ColorAttribute "AttributoDiColore") terms-it.txt 467-467
(termFormat JapaneseLanguage ColorAttribute "カラー属性") japanese_format.kif 2614-2614
(termFormat PortugueseLanguage ColorAttribute "Atributo de Cor") portuguese_format.kif 882-882
(termFormat cb ColorAttribute "abuhong hiyas") terms-cb.txt 469-469
(termFormat cz ColorAttribute "color attribute") terms-cz.txt 503-503
(termFormat ro ColorAttribute "atribut de culoare") relations-ro.kif 951-951
(termFormat tg ColorAttribute "katangian ng kulay") terms-tg.txt 468-468

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


(domain color 2 ColorAttribute) Mid-level-ontology.kif 19359-19359 Le nombre 2 argument de color est une instance de attribut de couleur

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


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

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 12658-12672
(=>
    (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 4384-4399
(=>
    (and
        (instance ?SEE Seeing)
        (agent ?SEE ?AGENT)
        (patient ?SEE ?OBJ))
    (exists (?PROP)
        (and
            (instance ?PROP ColorAttribute)
            (knows ?AGENT
                (attribute ?OBJ ?PROP)))))		 Merge.kif 13547-13555
(=>
    (and
        (instance ?SEE Seeing)
        (patient ?SEE ?OBJ))
    (exists (?ATTR)
        (and
            (instance ?ATTR ColorAttribute)
            (holdsDuring
                (WhenFn ?SEE)
                (attribute ?OBJ ?ATTR)))))		 Merge.kif 13564-13572
(=>
    (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 17732-17742


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