RULE subtype_exclusiveness_founded_item

(* SCHEMA AUTOMOTIVE_DESIGN; *)
 
RULE subtype_exclusiveness_founded_item FOR (founded_item);
WHERE
  wr1 : SIZEOF(QUERY(fi <* founded_item | NOT type_check_function(fi, [
    'AUTOMOTIVE_DESIGN.' + 'COMPOSITE_CURVE_SEGMENT', 
    'AUTOMOTIVE_DESIGN.' + 'SURFACE_PATCH', 'AUTOMOTIVE_DESIGN.' + 
    'VIEW_VOLUME'], 3))) = 0;
END_RULE; -- 10303-214: automotive_design

[Top Level Definitions] [Exit]

Generated by STEP Tools® EXPRESS to HTML Converter
2012-03-27T17:16:12-04:00