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 (=> | |
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