An Occurrence_of_product_specification_or_set is a usage of Specialisation_of_class where the subclass is a Product_occurrence and the superclass is a Product_specification_or_set.
EXAMPLE - The relationship between:
- the Specific_product_specification that is 'bearing type B_1234'; and
- the Product_occurrence that is the driven end bearing of J. Bloggs and Co. pump type XYZ_1234,
that indicates each individual bearing installed at the driven end of a J. Bloggs and Co. pump type XYZ_1234 is of bearing type B_1234, is a Occurrence_of_product_specification_or_set.
EXPRESS specification:
*)
ENTITY Occurrence_of_product_specification_or_set
SUBTYPE OF (Specialisation_of_class);
SELF\Specialisation_of_class.subclass :
Product_occurrence;
SELF\Specialisation_of_class.superclass :
Product_specification_or_set;
END_ENTITY;
(*
Attribute definitions:
subclass : the Product_specification_or_set that is used for the Product_occurrence.
superclass : the Product_occurrence that is a usage of the Product_specification_or_set.