TreeView Knowledge Base Browser

appearance as argument number 1

(instance Monochromatic ColorAttribute)	Merge.kif 18041-18041	Monochromatic is an instance of color attribute
(documentation Monochromatic EnglishLanguage "An Object with this Attribute has the same color on every part of its surface.")	Merge.kif 18042-18043	Monochromatic is an instance of color attribute
(externalImage Monochromatic "http://upload.wikimedia.org/wikipedia/en/3/ 33/ Neighborhood_watch_bw.png")	pictureList.kif 2258-2258	Monochromatic is an instance of color attribute

appearance as argument number 2

(contraryAttribute Polychromatic Monochromatic)	Merge.kif 18063-18063	Polychromatic is the opposite of monochromatic
(termFormat EnglishLanguage Monochromatic "monochromatic")	domainEnglishFormat.kif 38459-38459	Polychromatic is the opposite of monochromatic
(termFormat ChineseTraditionalLanguage Monochromatic "單色")	domainEnglishFormat.kif 38460-38460	Polychromatic is the opposite of monochromatic
(termFormat ChineseLanguage Monochromatic "单色")	domainEnglishFormat.kif 38461-38461	Polychromatic is the opposite of monochromatic

antecedent

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

If monochromatic is an attribute of X, Y is a superficial part of X, Z is an attribute of Y, and Z is an instance of primary color, then For all Object W: if W is a superficial part of X, then Z is an attribute of W

consequent

(=> (instance ?OBJ Object) (or (attribute ?OBJ Monochromatic) (attribute ?OBJ Polychromatic)))	Merge.kif 18056-18060	If X is an instance of object, then monochromatic is an attribute of X or polychromatic is an attribute of X
(=> (and (instance ?L Laser) (instance ?R RadiatingVisibleLight) (instrument ?R ?L) (patient ?R ?X) (instance ?X Region)) (color ?X Monochromatic))	engineering.kif 1137-1144	If X is an instance of laser, Y is an instance of radiating visible light, X is an instrument for Y, Z is a patient of Y, and Z is an instance of region, then Z is the color monochromatic