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

Formal Language: 


KB Term:  Term intersection
English Word: 

Sigma KEE - ColorAttribute
ColorAttribute(カラー属性)

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 17830-17831
(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 17828-17828 カラー属性 は 視覚的属性 の subclass では

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


(instance Monochromatic ColorAttribute) Merge.kif 17852-17852 Monochromatic は カラー属性 の instance では
(instance Polychromatic ColorAttribute) Merge.kif 17873-17873 Polychromatic は カラー属性 の instance では
(subclass PrimaryColor ColorAttribute) Merge.kif 17833-17833 原色 は カラー属性 の subclass では
(subclass SecondaryColor ColorAttribute) Mid-level-ontology.kif 20946-20946 SecondaryColor は カラー属性 の subclass では
(subclass SpectralColor ColorAttribute) Mid-level-ontology.kif 20941-20941 SpectralColor は カラー属性 の subclass では
(termFormat ChineseLanguage ColorAttribute "颜色属性") chinese_format.kif 1252-1252 SpectralColor は カラー属性 の subclass では
(termFormat EnglishLanguage ColorAttribute "color attribute") english_format.kif 1725-1725 SpectralColor は カラー属性 の subclass では
(termFormat FrenchLanguage ColorAttribute "attribut de couleur") french_format.kif 930-930 SpectralColor は カラー属性 の subclass では
(termFormat Hindi ColorAttribute "varNa visheshataa") terms-hindi.txt 464-464 SpectralColor は カラー属性 の subclass では
(termFormat ItalianLanguage ColorAttribute "AttributoDiColore") terms-it.txt 467-467 SpectralColor は カラー属性 の subclass では
(termFormat JapaneseLanguage ColorAttribute "カラー属性") japanese_format.kif 2614-2614 SpectralColor は カラー属性 の subclass では
(termFormat PortugueseLanguage ColorAttribute "Atributo de Cor") portuguese_format.kif 882-882 SpectralColor は カラー属性 の subclass では
(termFormat cb ColorAttribute "abuhong hiyas") terms-cb.txt 469-469 SpectralColor は カラー属性 の subclass では
(termFormat cz ColorAttribute "color attribute") terms-cz.txt 503-503 SpectralColor は カラー属性 の subclass では
(termFormat de ColorAttribute "Farbeattribut") terms-de.txt 762-762 SpectralColor は カラー属性 の subclass では
(termFormat ro ColorAttribute "atribut de culoare") relations-ro.kif 951-951 SpectralColor は カラー属性 の subclass では
(termFormat tg ColorAttribute "katangian ng kulay") terms-tg.txt 468-468 SpectralColor は カラー属性 の subclass では

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


(domain color 2 ColorAttribute) Mid-level-ontology.kif 20931-20931 color の数値 2 引数は カラー属性 の instance では

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


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

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 12775-12789
(=>
    (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 4722-4737
(=>
    (and
        (instance ?SEE Seeing)
        (agent ?SEE ?AGENT)
        (patient ?SEE ?OBJ))
    (exists (?PROP)
        (and
            (instance ?PROP ColorAttribute)
            (knows ?AGENT
                (attribute ?OBJ ?PROP)))))		 Merge.kif 13664-13672
(=>
    (and
        (instance ?SEE Seeing)
        (patient ?SEE ?OBJ))
    (exists (?ATTR)
        (and
            (instance ?ATTR ColorAttribute)
            (holdsDuring
                (WhenFn ?SEE)
                (attribute ?OBJ ?ATTR)))))		 Merge.kif 13681-13689
(=>
    (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 17878-17888


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