SCHEMA Independent_property_definition_arm;

  
USE FROM Engineering_analysis_basics_arm -- Engineering_analysis_basics
  (Class,
  Class_of_physical_individual);
USE FROM Independent_property_arm -- Independent_property
  (Independent_property);

  
ENTITY Independent_property_definition
  SUPERTYPE OF (ONEOF (
  Point_property_definition,
  Range_property_definition))
  SUBTYPE OF (
  Class_of_physical_individual
  Independent_property);
  symmetry  :  OPTIONAL Property_symmetry;
END_ENTITY;

  
ENTITY Point_property_definition
  SUBTYPE OF (Independent_property_definition);
END_ENTITY;

  
ENTITY Property_symmetry
  SUBTYPE OF (
  Class
  Independent_property);
  code :  STRING;
  supplier :  STRING;
UNIQUE
  single_instance_of_class :  code, supplier; 
WHERE
  valid_standard_class :
   IF (supplier = 'ISO/PDTS 10303-1036') THEN
        code IN ['PS001', 'PS002', 'PS003', 'PS004', 'PS005', 'PS006',
        'PS007', 'PS008', 'PS009', 'PS010', 'PS011', 'PS012', 'PS013'];
    ELSE
      TRUE;
    END_IF;
END_ENTITY;

  
ENTITY Range_property_definition
  SUBTYPE OF (Independent_property_definition);
END_ENTITY;

  
END_SCHEMA;

Page last updated - 7 Sep 2000