TreeView Knowledge Base Browser

appearance as argument number 1

(documentation Monochromatic ChineseLanguage "拥有这个 Attribute 的 Object，它表面每一个部分的颜色都是相同的。")	chinese_format.kif 3954-3955
(documentation Monochromatic EnglishLanguage "An Object with this Attribute has the same color on every part of its surface.")	Merge.kif 17764-17765
(externalImage Monochromatic "http://upload.wikimedia.org/wikipedia/en/3/ 33/ Neighborhood_watch_bw.png")	pictureList.kif 2259-2259
(instance Monochromatic ColorAttribute)	Merge.kif 17763-17763

appearance as argument number 2

(contraryAttribute Polychromatic Monochromatic)	Merge.kif 17785-17785
(termFormat ChineseLanguage Monochromatic "单色")	domainEnglishFormat.kif 38459-38459
(termFormat ChineseTraditionalLanguage Monochromatic "單色")	domainEnglishFormat.kif 38458-38458
(termFormat EnglishLanguage Monochromatic "monochromatic")	domainEnglishFormat.kif 38457-38457

antecedent

(=>
    (and
        (attribute ?OBJ Monochromatic)
        (superficialPart ?PART ?OBJ)
        (attribute ?PART ?COLOR)
        (instance ?COLOR PrimaryColor))
    (forall (?ELEMENT)
        (=>
            (superficialPart ?ELEMENT ?OBJ)
            (attribute ?ELEMENT ?COLOR))))

Merge.kif 17767-17776

consequent

(=>
    (instance ?OBJ Object)
    (or
        (attribute ?OBJ Monochromatic)
        (attribute ?OBJ Polychromatic)))

Merge.kif 17778-17782