|
|
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:
-
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.
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;
(*
An interface_plane is a type of
shape_aspect
that implements the ARM concept of
Interface_plane.
EXPRESS specification:
*)
ENTITY interface_plane
SUBTYPE OF (shape_aspect);
END_ENTITY;
(*
A reference_graphic_registration_mark is a type of
shape_aspect
that implements the ARM concept of Reference_graphic_registration_mark.
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
