Destroying activity for product Application Object

A Destroying_activity_for_product is a Activity_for_product that indicates the product does not exist after the activity.

EXAMPLE - 'Part type XYZ_123' is a Product_specification_or_set. 'Part type XYZ_123 recycling process 1' is an Activity specification.

The relationship between:

• the Product_specification_or_set that is 'part type XYZ_123'; and
• the Activity that is 'part type XYZ_123 recycling process A',

that indicates:

• a part of type XYZ_123 can, but need not, be destroyed by a part type XYZ_123 recycling process A; and
• a part type XYZ_123 recycling process A destroys a part of type XYZ_123,

is a Destroying_activity_for_product.

EXPRESS specification:

*)
ENTITY Destroying_activity_for_product
  SUBTYPE OF (Activity_for_product);
END_ENTITY;
(*