SUMO   View all facts   Glossary   Help

Entity > Abstract > Attribute > ColorProperty > PrimaryColor > Red

Red
subject			fact

Red	documentation The Attribute of redness
	has contraryProperty Blue
	has contraryProperty Yellow
	is an instance of PrimaryColor
PrimaryColor	has axiom (=> (and (attribute ?OBJ Monochromatic) (superficialPart ?PART ?OBJ) (attribute ?PART ?COLOR) (instance ?COLOR PrimaryColor)) (forall (?ELEMENT) (=> (superficialPart ?ELEMENT ?OBJ) (attribute ?ELEMENT ?COLOR))))
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

Next PrimaryColor: Yellow    Up: PrimaryColor    Previous PrimaryColor: Blue