Red - Sigma Knowledge base Browser

appearance as argument number 1

(instance Red PrimaryColor)	Merge.kif 18026-18026	Red is an instance of primary color
(documentation Red EnglishLanguage "The Attribute of redness.")	Merge.kif 18027-18027	Red is an instance of primary color
(externalImage Red "http://upload.wikimedia.org/wikipedia/commons/e/e3/Remebrance_poppy_ww2_section_of_Aust_war_memorial.jpg")	pictureList.kif 1948-1948	Red is an instance of primary color
(externalImage Red "http://upload.wikimedia.org/wikipedia/commons/a/a7/Stop_sign_MUTCD.svg")	pictureList.kif 2328-2328	Red is an instance of primary color

appearance as argument number 2

(termFormat EnglishLanguage Red "red")	domainEnglishFormat.kif 49041-49041
(termFormat ChineseTraditionalLanguage Red "紅色")	domainEnglishFormat.kif 49042-49042
(termFormat ChineseLanguage Red "红色")	domainEnglishFormat.kif 49043-49043

antecedent

(=>
    (and
        (instance ?SOIL Soil)
        (attribute ?SOIL Red)
        (instance ?AREA LandArea)
        (component ?SOIL ?AREA))
    (attribute ?AREA FertileTerrain))

consequent

(=>
    (instance ?T Shimagh)
    (and
        (attribute ?T White)
        (attribute ?T Red)))

If X is an instance of shimagh, then white is an attribute of X and red is an attribute of X