SUMO   View all facts   Glossary   Help

Entity > Abstract > Attribute > ColorProperty

ColorProperty
subject			fact

ColorProperty	documentation The Class of Attributes relating to the color of Objects
	has axiom (=> (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)))))
	is a kind of Attribute
Attribute	is disjoint from Quantity
	is first domain of contraryProperty
	is first domain of ExtensionFn
	is first domain of subAttribute
	is first domain of successorAttribute
	is first domain of successorAttributeClosure
	is second domain of attribute
	is second domain of contraryProperty
	is second domain of manner
	is second domain of property
	is second domain of subAttribute
	is second domain of successorAttribute
	is second domain of successorAttributeClosure

Kinds of ColorProperty :

• Monochromatic (3 facts) - An Object with this Attribute has the same color on every part of its surface
• Polychromatic (4 facts) - An Object with this Attribute has different colors on different parts of its surface
• PrimaryColor (3 kinds, 12 facts) - Colors which can be blended to form any color and which cannot be derived from any other colors

Next Attribute: CompetitionProperty    Up: Attribute    Previous Attribute: BreakabilityProperty