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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - PrimaryColor
PrimaryColor

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 16322-16323
(externalImage PrimaryColor "http://upload.wikimedia.org/wikipedia/commons/ a/ a7/ Stop_sign_MUTCD.svg") pictureList.kif 1936-1936 externalImage PrimaryColor and "http://upload.wikimedia.org/wikipedia/commons/a/a7/ Stop_sign_MUTCD.svg"
(subclass PrimaryColor ColorAttribute) Merge.kif 16321-16321 subclass PrimaryColor and ColorAttribute

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


(instance Black PrimaryColor) Merge.kif 16337-16337 instance Black and PrimaryColor
(instance Blue PrimaryColor) Merge.kif 16328-16328 instance Blue and PrimaryColor
(instance Red PrimaryColor) Merge.kif 16325-16325 instance Red and PrimaryColor
(instance White PrimaryColor) Merge.kif 16334-16334 instance White and PrimaryColor
(instance Yellow PrimaryColor) Merge.kif 16331-16331 instance Yellow and PrimaryColor
(termFormat ChineseLanguage PrimaryColor "原色") chinese_format.kif 1253-1253 termFormat ChineseLanguage, PrimaryColor and "原色"
(termFormat EnglishLanguage PrimaryColor "primary color") english_format.kif 1732-1732 termFormat EnglishLanguage, PrimaryColor and "primary color"

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


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

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 17159-17172


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