Application module: Non feature shape element | ISO/TS 10303-1706:2018-11(E) © ISO |
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:
Short names of entities defined in this schema are described in Annex A. Unambiguous identification of this schema is defined in Annex B.
EXPRESS specification:
*)
SCHEMA Non_feature_shape_element_mim;
USE FROM
Physical_unit_shape_with_parameters_mim;
--
ISO/TS 10303-1730
USE FROM
Part_feature_location_mim;
--
ISO/TS 10303-1714
USE FROM
material_property_definition_schema
--
ISO 10303-45
(property_definition_relationship);
(*
NOTE 1 The schemas referenced above are specified in the following part of ISO 10303:
Physical_unit_shape_with_parameters_mim ISO/TS 10303-1730 Part_feature_location_mim ISO/TS 10303-1714 material_property_definition_schema ISO 10303-45
NOTE 2 See Annex D, Figures D.1and D.2 for a graphical representation of this schema.
This subclause specifies the MIM entities for this module. The MIM entities and definitions are specified below.
An edge_segment_vertex is a type of shape_aspect that implements the ARM concept of Edge_segment_vertex.
EXPRESS specification:
*)
ENTITY edge_segment_vertex
SUBTYPE OF (shape_aspect);
WHERE
WR1: SELF\shape_aspect.product_definitional = TRUE;
END_ENTITY;
(*
Formal propositions:
WR1: The edge_segment_vertex shall be definitional.
A group_shape_aspect is a type of shape_aspect that implements the ARM concepts of:
EXPRESS specification:
*)
ENTITY group_shape_aspect
SUBTYPE OF (shape_aspect);
END_ENTITY;
(*
EXPRESS specification:
*)
ENTITY interface_plane
SUBTYPE OF (shape_aspect);
END_ENTITY;
(*
EXPRESS specification:
*)
ENTITY reference_graphic_registration_mark
SUBTYPE OF (shape_aspect);
WHERE
WR1: SELF\shape_aspect.product_definitional = false;
END_ENTITY;
(*
Formal propositions:
WR1: The product_definitional inherited from shape_aspect shall be false.
The seating_plane is a type of shape_aspect that implements the ARM concept of Seating_plane.
EXPRESS specification:
*)
ENTITY seating_plane
SUBTYPE OF (shape_aspect);
END_ENTITY;
(*
*)
END_SCHEMA; -- Non_feature_shape_element_mim
(*
© ISO 2018 — All rights reserved