SCHEMA Property_space_arm;

  
USE FROM Engineering_analysis_basics_arm -- Engineering_analysis_basics
  (Class,
  Classification,
  Fusion,
  Physical_space);
USE FROM Independent_property_definition_arm -- Independent_property_definition
  (Independent_property_definition);
USE FROM Independent_property_arm -- Independent_property
  (Independent_property
  Independent_property_relationship);

  
ENTITY Membership_of_property_space
  SUBTYPE OF (Classification);
  class  :  Property_space;
  member  :  Independent_property_definition;
END_ENTITY;

  
ENTITY Property_space
  SUBTYPE OF (Physical_space);
END_ENTITY;

  
ENTITY Property_space_as_property_definition
  SUBTYPE OF (Fusion);
  class  :  Property_space;
  whole  :  Independent_property_definition;
END_ENTITY;

  
ENTITY Property_space_tensor_order_and_symmetry
  SUBTYPE OF (Class);
  code :  STRING;
  supplier :  STRING;
UNIQUE
  single_instance_of_class :  code, supplier; 
WHERE
  valid_standard_class :
   IF (supplier = 'ISO/PDTS 10303-1039') THEN
        code IN ['TO001', 'TO002', 'TO003', 'TO004', 'TO005', 'TO006',
        'TO007', 'TO008', 'TO009'];
    ELSE
      TRUE;
    END_IF;
END_ENTITY;

  
END_SCHEMA;

Page last updated - 7 Sep 2000