classification
A <classification> is type of <relationship> that indicates that the classified <thing>
is a member of the classifier <class>.
<classification> is not transitive.
NOTE A subtype of <relationship> is transitive if when A is related to B, and B is related to
C in the same way, then A is necessarily related to C in that way. <specialization> and <composition>
are examples of transitive subtypes of <relationship>. However, because <classification>
is not transitive does not mean that A cannot be related to C in the same way, only that it does not
necessarily follow from A being related to B and B being related to C.
EXAMPLE 1 The <relationship> that indicates that London is a member of the class known as 'capital
city' is a <classification>.
EXAMPLE 2 The <relationship> that indicates that 'pump' is a member of the class 'equipment type'
is a <classification>.
EXPRESS specification:
Attribute definitions:
| classified
|
:
|
The <thing> that is a member of the classifier <class>.
|
| classifier
|
:
|
The <class> of which the classified <thing> is a member.
|
References (5):
Inheritance graph