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

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


(instance Black PrimaryColor) Merge.kif 18067-18067
(instance Blue PrimaryColor) Merge.kif 18055-18055
(instance Red PrimaryColor) Merge.kif 18051-18051
(instance White PrimaryColor) Merge.kif 18063-18063
(instance Yellow PrimaryColor) Merge.kif 18059-18059
(termFormat ChineseLanguage PrimaryColor "原色") chinese_format.kif 1253-1253
(termFormat EnglishLanguage PrimaryColor "primary color") english_format.kif 940-940
(termFormat FrenchLanguage PrimaryColor "couleur primaire") french_format.kif 931-931
(termFormat Hindi PrimaryColor "praathamika varNa") terms-hindi.txt 465-465
(termFormat ItalianLanguage PrimaryColor "ColorePirmario") terms-it.txt 466-466
(termFormat PortugueseLanguage PrimaryColor "Cor Primaria") portuguese_format.kif 883-883
(termFormat cz PrimaryColor "primary color") terms-cz.txt 504-504
(termFormat tg PrimaryColor "batayang kulay") terms-tg.txt 469-469

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


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

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 17100-17113


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