individual_dimension
An <individual_dimension> is a <class_of_individual> whose members characterize a particular
<possible_individual>.
EXAMPLE The set of lines that are each a diameter of a particular circle.
EXPRESS specification:
|
| Name | Type | Referred through | Express-G |
| class_of_individual | Entity |
|
Diagram 7 |
| dimension_of_individual | Entity |
|
Diagram 29 |
| specialization_of_individual_dimension_from_property | Entity |
|
Diagram 29 |
|