5 Module interpreted model

5.1 Mapping specification

• Product_curve_space
• Product_feature_space
• Product_point_space
• Product_surface_space
• Product_volume_space
• Product_feature_space_for_product
• Membership_of_product_feature_space

5.2 MIM EXPRESS short listing

*)
SCHEMA Product_feature_space_mim;
USE FROM product_definition_schema -- ISO 10303-41
   (product_definition,
   product_definition_relationship);
USE FROM product_specification_or_set_mim -- ISO 10303-1077
   (product_specification_or_set);
(*

5.2.1 MIM EXPRESS types

None.

5.2.2 MIM EXPRESS entities

5.2.2.1 product_feature_space_for_product

A product_feature_space_for_product is a product_definition_relationship that is a Product_feature_space_for_product.

*)
ENTITY product_feature_space_for_product
  SUBTYPE OF (product_definition_relationship);
  SELF\product_definition_relationship.related_product_definition  :  
       product_feature_space; 
  SELF\product_definition_relationship.relating_product_definition  :  
       product_specification_or_set; 
END_ENTITY;
(*

5.2.2.2 membership_of_product_feature_space

A membership_of_product_feature_space is a product_definition_relationship that is a Membership_of_product_feature_space.

*)
ENTITY membership_of_product_feature_space
  SUBTYPE OF (product_definition_relationship);
  SELF\product_definition_relationship.related_product_definition  :  
       product_specification_or_set; 
  SELF\product_definition_relationship.relating_product_definition  :  
       product_feature_space; 
END_ENTITY;
(*

5.2.2.3 product_curve_space

A product_curve_space is a product_feature_space that is a Product_curve_space.

*)
ENTITY product_curve_space
   SUBTYPE OF (product_feature_space);
END_ENTITY;
(*

5.2.2.4 product_feature_space

A product_feature_space is a product_definition that is a Product_feature_space.

*)
ENTITY product_feature_space
  SUPERTYPE OF (ONEOF (
  product_point_space,
  product_curve_space,
  product_surface_space,
  product_volume_space)) 
  SUBTYPE OF (product_definition);
END_ENTITY;
(*

5.2.2.5 product_point_space

A product_point_space is a product_feature_space that is a Product_point_space.

*)
ENTITY product_point_space
   SUBTYPE OF (product_feature_space);
END_ENTITY;
(*

5.2.2.6 product_surface_space

A product_surface_space is a product_feature_space that is a Product_surface_space.

*)
ENTITY product_surface_space
   SUBTYPE OF (product_feature_space);
END_ENTITY;
(*

5.2.2.7 product_volume_space

A product_volume_space is a product_feature_space that is a Product_volume_space.

*)
ENTITY product_volume_space
   SUBTYPE OF (product_feature_space);
END_ENTITY;
(*

*)
END_SCHEMA;
(*