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 17397-17398
(externalImage PrimaryColor "http://upload.wikimedia.org/wikipedia/commons/ a/ a7/ Stop_sign_MUTCD.svg") pictureList.kif 1936-1936
(subclass PrimaryColor ColorAttribute) Merge.kif 17396-17396 原色颜色属性subclass

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


(instance Black PrimaryColor) Merge.kif 17412-17412 黑色原色instance
(instance Blue PrimaryColor) Merge.kif 17403-17403 蓝色原色instance
(instance Red PrimaryColor) Merge.kif 17400-17400 红色原色instance
(instance White PrimaryColor) Merge.kif 17409-17409 白色原色instance
(instance Yellow PrimaryColor) Merge.kif 17406-17406 黄色原色instance
(termFormat ChineseLanguage PrimaryColor "原色") chinese_format.kif 1253-1253
(termFormat EnglishLanguage PrimaryColor "primary color") english_format.kif 1727-1727

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


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

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 18730-18743


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 3.0 is open source software produced by Articulate Software and its partners