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

Formal Language: 



KB Term:  Term intersection
English Word: 

  PrimaryColor

Sigma KEE - PrimaryColor
PrimaryColor(primary color)
primary_color, primary_color_for_light, primary_color_for_pigments, primary_colour, primary_colour_for_light, primary_colour_for_pigments, 原色

appearance as argument number 1
-------------------------


(documentation PrimaryColor ChineseLanguage "这些颜色可以混合成为任何颜色,而且它们都不能从其他颜色 衍生而成。") Merge.kif 18100-18101
(documentation PrimaryColor EnglishLanguage "Colors which can be blended to form any color and which cannot be derived from any other colors.") Merge.kif 18098-18099
(externalImage PrimaryColor "http://upload.wikimedia.org/wikipedia/commons/ a/ a7/ Stop_sign_MUTCD.svg") pictureList.kif 1936-1936 "http://upload.wikimedia.org/wikipedia/commons/a/a7/ Stop_sign_MUTCD.svg" is a URL depicting primary color
(subclass PrimaryColor ColorAttribute) Merge.kif 18097-18097 Primary color is a subclass of color attribute

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


(instance Black PrimaryColor) Merge.kif 18119-18119 Black is an instance of primary color
(instance Blue PrimaryColor) Merge.kif 18107-18107 Blue is an instance of primary color
(instance Red PrimaryColor) Merge.kif 18103-18103 Red is an instance of primary color
(instance White PrimaryColor) Merge.kif 18115-18115 White is an instance of primary color
(instance Yellow PrimaryColor) Merge.kif 18111-18111 Yellow is an instance of primary color
(termFormat ChineseLanguage PrimaryColor "原色") chinese_format.kif 1253-1253 "原色" is the printable form of primary color in ChineseLanguage
(termFormat EnglishLanguage PrimaryColor "primary color") english_format.kif 1840-1840 "primary color" is the printable form of primary color in english language
(termFormat JapaneseLanguage PrimaryColor "原色") english_format.kif 1841-1841 "原色" is the printable form of primary color in japanese language

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


(=>
    (and
        (attribute ?OBJ Monochromatic)
        (superficialPart ?PART ?OBJ)
        (attribute ?PART ?COLOR)
        (instance ?COLOR PrimaryColor))
    (forall (?ELEMENT)
        (=>
            (superficialPart ?ELEMENT ?OBJ)
            (attribute ?ELEMENT ?COLOR))))
Merge.kif 18129-18138

consequent
-------------------------


(=>
    (and
        (instance ?COLOR SecondaryColor)
        (attribute ?OBJ ?COLOR))
    (exists (?PROCESS ?RESOURCE1 ?RESOURCE2 ?PRIMARY1 ?PRIMARY2)
        (and
            (result ?PROCESS ?OBJ)
            (resource ?PROCESS ?RESOURCE1)
            (resource ?PROCESS ?RESOURCE2)
            (attribute ?RESOURCE1 ?PRIMARY1)
            (attribute ?RESOURCE2 ?PRIMARY2)
            (instance ?PRIMARY1 PrimaryColor)
            (instance ?PRIMARY2 PrimaryColor)
            (not
                (equal ?PRIMARY1 ?PRIMARY2)))))
Mid-level-ontology.kif 17158-17171


Show simplified definition (without tree view)
Show simplified definition (with tree view)

Show without tree


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