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 颜色 AttributeClass。") Merge.kif 18042-18043
(documentation ColorAttribute EnglishLanguage "The Class of Attributes relating to the color of Objects.") Merge.kif 18040-18041
(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 18038-18038

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


(instance Monochromatic ColorAttribute) Merge.kif 18071-18071
(instance Polychromatic ColorAttribute) Merge.kif 18094-18094
(subclass PrimaryColor ColorAttribute) Merge.kif 18045-18045
(subclass SecondaryColor ColorAttribute) Mid-level-ontology.kif 17096-17096
(subclass SpectralColor ColorAttribute) Mid-level-ontology.kif 17092-17092
(termFormat ChineseLanguage ColorAttribute "颜色属性") chinese_format.kif 1252-1252
(termFormat EnglishLanguage ColorAttribute "color attribute") english_format.kif 939-939
(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 465-465
(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 tg ColorAttribute "katangian ng kulay") terms-tg.txt 468-468

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


(domain color 2 ColorAttribute) Mid-level-ontology.kif 17082-17082

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


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

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 12492-12506
(=>
    (and
        (instance ?SEE Seeing)
        (agent ?SEE ?AGENT)
        (patient ?SEE ?OBJ))
    (exists (?PROP)
        (and
            (instance ?PROP ColorAttribute)
            (knows ?AGENT
                (attribute ?OBJ ?PROP)))))
Merge.kif 13420-13428
(=>
    (and
        (instance ?SEE Seeing)
        (patient ?SEE ?OBJ))
    (exists (?ATTR)
        (and
            (instance ?ATTR ColorAttribute)
            (holdsDuring
                (WhenFn ?SEE)
                (attribute ?OBJ ?ATTR)))))
Merge.kif 13437-13445
(=>
    (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 18101-18111


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