SUMO   View all facts   Glossary   Help
Entity > Abstract > Attribute > ColorProperty
Next Attribute: CompetitionProperty    Up: Attribute    Previous Attribute: BreakabilityProperty   

ColorProperty comparison table
Subject is an instance of documentation is a kind of have axiom have contraryProperty
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))))
 
PolychromaticColorPropertyAn Object with this Attribute has different colors on different parts of its surface 
(=>
    (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)))))
Monochromatic
PrimaryColor Colors which can be blended to form any color and which cannot be derived from any other colorsColorProperty
(=>
    (and
       (attribute ?OBJ Monochromatic)
       (superficialPart ?PART ?OBJ)
       (attribute ?PART ?COLOR)
       (instance ?COLOR PrimaryColor))
    (forall (?ELEMENT)
       (=>
          (superficialPart ?ELEMENT ?OBJ)
          (attribute ?ELEMENT ?COLOR))))
 

Next Attribute: CompetitionProperty    Up: Attribute    Previous Attribute: BreakabilityProperty