![]() |
Entity > Abstract > Attribute > DirectionAttribute > West |
![]() ![]() | ||||
West | ||||
subject | fact |
West | documentation The compass direction of West | ![]() |
is an instance of DirectionAttribute | ![]() | |
DirectionAttribute | has axiom (=> | ![]() |
is second domain of direction | ![]() | |
is third domain of orientation | ![]() | |
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 | ![]() |