
composition_of_individual
A <composition_of_individual> is a <relationship> that indicates that the part <possible_individual>
is a part of the whole <possible_individual>. A simple composition is indicated, unless a subtype
is instantiated too.
<composition_of_individual> is transitive.
NOTE Simple composition means that for example no arrangement of parts is necessarily implied or of concern.
Where there is an arrangement of parts, this is indicated by an <arrangement_of_individual>,
which, by being a subtype, implies also a simple composition.
EXAMPLE A grain of sand being part of a pile of sand is an example of <composition_of_individual>.
EXPRESS specification:
|
|
| ENTITY composition_of_individual
|
|
Attribute definitions:
| part
|
:
|
the <possible_individual> that is part of the whole <possible_individual>.
|
| whole
|
:
|
the <possible_individual> that is the whole in the <composition_of_individual>.
|
References (5):
Inheritance graph
|
|
| ENTITY composition_of_individual;
|
|