TreeView Knowledge Base Browser

appearance as argument number 1

(instance Brown SecondaryColor)	Mid-level-ontology.kif 21306-21306	Brown is an instance of secondary color
(documentation Brown EnglishLanguage "A SecondaryColor that resembles the color of wood or of soil.")	Mid-level-ontology.kif 21307-21308	Brown is an instance of secondary color
(externalImage Brown "http://upload.wikimedia.org/wikipedia/commons/f/f2/ Chocolate.jpg")	pictureList.kif 2123-2123	Brown is an instance of secondary color
(externalImage Brown "http://upload.wikimedia.org/wikipedia/commons/3/34/ Chocolate02.jpg")	pictureList.kif 2124-2124	Brown is an instance of secondary color

appearance as argument number 2

(termFormat EnglishLanguage Brown "brown")	domainEnglishFormat.kif 12137-12137
(termFormat ChineseTraditionalLanguage Brown "棕色")	domainEnglishFormat.kif 12138-12138
(termFormat ChineseLanguage Brown "棕色")	domainEnglishFormat.kif 12139-12139

consequent

(=>
    (and
        (instance ?F FlatWhite)
        (part ?B ?F)
        (instance ?B Bubble))
    (attribute ?B Brown))

If X is an instance of flat white, Y is a part of X, and Y is an instance of bubble, then brown is an attribute of Y