Green - Sigma Knowledge base Browser

appearance as argument number 1

(instance Green SecondaryColor)	Mid-level-ontology.kif 21315-21315	Green is an instance of secondary color
(instance Green SpectralColor)	Mid-level-ontology.kif 21316-21316	Green is an instance of spectral color
(documentation Green EnglishLanguage "A SecondaryColor that resembles the color of fresh grass.")	Mid-level-ontology.kif 21317-21318	Green is an instance of spectral color
(externalImage Green "http://upload.wikimedia.org/wikipedia/commons/f/f3/ MeyerLemon.jpg")	pictureList.kif 1793-1793	Green is an instance of spectral color
(externalImage Green "http://upload.wikimedia.org/wikipedia/commons/1/19/ Caerulea3_crop.jpg")	pictureList.kif 2206-2206	Green is an instance of spectral color
(externalImage Green "http://upload.wikimedia.org/wikipedia/commons/c/c2/ Fountain_by_slonecker.jpg")	pictureList.kif 2207-2207	Green is an instance of spectral color

appearance as argument number 2

(termFormat EnglishLanguage Green "green")	domainEnglishFormat.kif 26588-26588
(termFormat ChineseTraditionalLanguage Green "綠色")	domainEnglishFormat.kif 26589-26589
(termFormat ChineseLanguage Green "绿色")	domainEnglishFormat.kif 26590-26590

consequent

(=>
    (and
        (instance ?X Lime)
        (part ?S ?X)
        (instance ?S PeelOrRind))
    (attribute ?S Green))

If X is an instance of lime, Y is a part of X, and Y is an instance of peel or rind, then green is an attribute of Y