SUMO   View all facts   Glossary   Help
Entity > Abstract > Attribute > ColorProperty > Monochromatic
Next ColorProperty: Polychromatic    Up: ColorProperty    Previous ColorProperty: PrimaryColor   

Monochromatic comparison table
Subject is an instance of documentation is a kind of have axiom
ColorProperty The Class of Attributes relating to the color of ObjectsAttribute
(=>
    (attribute ?OBJ Polychromatic)
    (exists (?PART1 ?PART2 ?COLOR1 ?COLOR2)
       (and
          (superficialPart ?PART1 ?OBJ)
          (superficialPart ?PART2 ?OBJ)
          (attribute ?PART1 ?COLOR1)
          (attribute ?PART2 ?COLOR2)
          (instance ?COLOR1 ColorProperty)
          (instance ?COLOR2 ColorProperty)
          (not (equal ?COLOR1 ?COLOR2)))))
MonochromaticColorPropertyAn Object with this Attribute has the same color on every part of its surface 
(=>
    (and
       (attribute ?OBJ Monochromatic)
       (superficialPart ?PART ?OBJ)
       (attribute ?PART ?COLOR)
       (instance ?COLOR PrimaryColor))
    (forall (?ELEMENT)
       (=>
          (superficialPart ?ELEMENT ?OBJ)
          (attribute ?ELEMENT ?COLOR))))

Next ColorProperty: Polychromatic    Up: ColorProperty    Previous ColorProperty: PrimaryColor