5.2 MIM EXPRESS short listing

This clause specifies the EXPRESS schema derived from the mapping table. It uses elements from the common resources or from other application modules and defines the EXPRESS constructs that are specific to this part of ISO 10303.

This clause constitutes the Module Interpreted Module (MIM) of the application module.

This clause also specifies the modifications that apply to the constructs imported from the common resources.

The following restrictions apply to the use, in this schema, of constructs defined in common resources or in application modules:

• use of a supertype entity does not make applicable any of its specializations, unless the specialization is also imported in the MIM schema;
• use of a SELECT type does not make applicable any of its listed types unless the listed type is also imported in the MIM schema.

Short names of entities defined in this schema are described in Annex A. Unambiguous identification of this schema is defined in Annex B.

USE FROM Physical_unit_usage_view_mim;    --  ISO/TS 10303-1732
(*



NOTE 1   The schemas referenced above are specified in the following part of ISO 10303:

Physical_unit_usage_view_mim

ISO/TS 10303-1732

NOTE 2   See Annex D, Figures D.1and D.2 for a graphical representation of this schema.

5.2.1 MIM entity definitions

This subclause specifies the MIM entities for this module. The MIM entities and definitions are specified below.

5.2.1.1 fiducial_part_feature   

A fiducial_part_feature is a type of part_tooling_feature that implements the ARM concept of Fiducial_part_feature.

EXPRESS specification:

*)
ENTITY fiducial_part_feature
  SUBTYPE OF (part_tooling_feature);
END_ENTITY;
(*

5.2.1.2 part_interface_access_feature   

A part_interface_access_feature is a type of shape_aspect that implements the ARM concept of Part_interface_access_feature.

EXPRESS specification:

*)
ENTITY part_interface_access_feature
  SUBTYPE OF (shape_aspect);
END_ENTITY;
(*

5.2.1.3 part_mating_feature   

A part_mating_feature is a type of shape_aspect that implements the ARM concept of Part_mating_feature.

EXPRESS specification:

*)
ENTITY part_mating_feature
  SUBTYPE OF (shape_aspect);
END_ENTITY;
(*

5.2.1.4 part_mounting_feature   

A part_mounting_feature is a type of shape_aspect that implements the ARM concept of Part_mounting_feature.

EXPRESS specification:

*)
ENTITY part_mounting_feature
  SUBTYPE OF (shape_aspect);
END_ENTITY;
(*

5.2.1.5 part_tooling_feature   

EXPRESS specification:

*)
ENTITY part_tooling_feature
  SUPERTYPE OF (ONEOF (fiducial_part_feature,
                       tool_registration_mark)
               ANDOR test_point_part_feature)
  SUBTYPE OF (shape_aspect);
WHERE
  WR1: SELF\shape_aspect.product_definitional = true;
END_ENTITY;
(*

Formal propositions:

WR1: The product_definitional shall always be TRUE.

5.2.1.6 test_point_part_feature   

A test_point_part_feature is a type of part_tooling_feature that implements the ARM concept of Fiducial_part_feature.

EXPRESS specification:

*)
ENTITY test_point_part_feature
  SUBTYPE OF (part_tooling_feature);
END_ENTITY;
(*

5.2.1.7 thermal_feature   

A thermal_feature is a type of shape_aspect that implements the ARM concept of Thermal_feature.

EXPRESS specification:

*)
ENTITY thermal_feature
  SUBTYPE OF (shape_aspect);
END_ENTITY;
(*

5.2.1.8 tool_registration_mark   

EXPRESS specification:

*)
ENTITY tool_registration_mark
  SUBTYPE OF (part_tooling_feature);
END_ENTITY;
(*

© ISO 2018 — All rights reserved