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

Formal Language: 



KB Term:  Term intersection
English Word: 

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 "这些颜色可以混合成为任何颜色,而且它们都不能从其他颜色 衍生而成。") chinese_format.kif 3947-3948
(documentation PrimaryColor EnglishLanguage "Colors which can be blended to form any color and which cannot be derived from any other colors.") Merge.kif 16415-16416
(externalImage PrimaryColor "http://upload.wikimedia.org/wikipedia/commons/ a/ a7/ Stop_sign_MUTCD.svg") pictureList.kif 1936-1936
(subclass PrimaryColor ColorAttribute) Merge.kif 16414-16414 Primary color is a subclass of color attribute

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


(instance Black PrimaryColor) Merge.kif 16430-16430 Black is an instance of primary color
(instance Blue PrimaryColor) Merge.kif 16421-16421 Blue is an instance of primary color
(instance Red PrimaryColor) Merge.kif 16418-16418 Red is an instance of primary color
(instance White PrimaryColor) Merge.kif 16427-16427 White is an instance of primary color
(instance Yellow PrimaryColor) Merge.kif 16424-16424 Yellow is an instance of primary color
(termFormat ChineseLanguage PrimaryColor "原色") chinese_format.kif 1253-1253
(termFormat EnglishLanguage PrimaryColor "primary color") english_format.kif 1732-1732

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


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

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 17160-17173


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