(* SCHEMA integrated_cnc_schema; *)
ENTITY boss
SUBTYPE OF (feature_definition);
WHERE
WR1: SELF\characterized_object.description IN [ 'circular', 'complex',
'rectangular' ];
WR2: SIZEOF(QUERY (pds <* QUERY (pd <* USEDIN(SELF,
'INTEGRATED_CNC_SCHEMA.PROPERTY_DEFINITION.DEFINITION')| (
'INTEGRATED_CNC_SCHEMA.PRODUCT_DEFINITION_SHAPE' IN TYPEOF(pd
)))| NOT (SIZEOF(QUERY (sa_occ <* USEDIN(pds,
'INTEGRATED_CNC_SCHEMA.SHAPE_ASPECT.OF_SHAPE')| (sa_occ.
description = 'boss height occurrence') AND (SIZEOF(QUERY (
sdr <* QUERY (sar <* USEDIN(sa_occ,
'INTEGRATED_CNC_SCHEMA.SHAPE_ASPECT_RELATIONSHIP.' +
'RELATED_SHAPE_ASPECT')| (sar.description =
'path feature component usage') AND ('INTEGRATED_CNC_SCHEMA.'
+ 'SHAPE_DEFINING_RELATIONSHIP' IN TYPEOF(sar)))| ((
'INTEGRATED_CNC_SCHEMA.PATH_FEATURE_COMPONENT' IN TYPEOF(sdr.
relating_shape_aspect)) AND (sdr.relating_shape_aspect.
description = 'linear')) AND (sdr.name = 'boss height'))) = 1
))) = 1))) = 0;
WR3: SIZEOF(QUERY (pd <* USEDIN(SELF,
'INTEGRATED_CNC_SCHEMA.PROPERTY_DEFINITION.DEFINITION')| (
SIZEOF(QUERY (pdr <* USEDIN(pd, 'INTEGRATED_CNC_SCHEMA.' +
'PROPERTY_DEFINITION_REPRESENTATION.DEFINITION')| (
'INTEGRATED_CNC_SCHEMA.' +
'SHAPE_REPRESENTATION_WITH_PARAMETERS' IN TYPEOF(pdr.
used_representation)) AND ((1 <= SIZEOF(pdr.
used_representation.items)) AND (SIZEOF(pdr.
used_representation.items) <= 2)))) = 1))) = 1;
WR4: SIZEOF(QUERY (pd <* USEDIN(SELF,
'INTEGRATED_CNC_SCHEMA.PROPERTY_DEFINITION.DEFINITION')| (
SIZEOF(QUERY (pdr <* USEDIN(pd, 'INTEGRATED_CNC_SCHEMA.' +
'PROPERTY_DEFINITION_REPRESENTATION.DEFINITION')| (
'INTEGRATED_CNC_SCHEMA.' +
'SHAPE_REPRESENTATION_WITH_PARAMETERS' IN TYPEOF(pdr.
used_representation)) AND (SIZEOF(QUERY (srwp_i <* pdr.
used_representation.items| (srwp_i.name = 'orientation') OR (
srwp_i.name = 'fillet radius'))) = SIZEOF(pdr.
used_representation.items)))) = 1))) = 1;
WR5: SIZEOF(QUERY (pd <* USEDIN(SELF,
'INTEGRATED_CNC_SCHEMA.PROPERTY_DEFINITION.DEFINITION')| NOT
(SIZEOF(QUERY (impl_rep <* QUERY (pdr <* USEDIN(pd,
'INTEGRATED_CNC_SCHEMA.' +
'PROPERTY_DEFINITION_REPRESENTATION.DEFINITION')| (
'INTEGRATED_CNC_SCHEMA.' +
'SHAPE_REPRESENTATION_WITH_PARAMETERS' IN TYPEOF(pdr.
used_representation)))| NOT (SIZEOF(QUERY (it <* impl_rep.
used_representation.items| (SIZEOF([
'INTEGRATED_CNC_SCHEMA.MEASURE_REPRESENTATION_ITEM',
'INTEGRATED_CNC_SCHEMA.LENGTH_MEASURE_WITH_UNIT' ] * TYPEOF(
it)) = 2) AND (it.name = 'fillet radius'))) <= 1))) = 0))) =
0;
WR6: NOT (SELF\characterized_object.description = 'circular') OR (
SIZEOF(QUERY (pds <* QUERY (pd <* USEDIN(SELF,
'INTEGRATED_CNC_SCHEMA.PROPERTY_DEFINITION.DEFINITION')| (
'INTEGRATED_CNC_SCHEMA.PRODUCT_DEFINITION_SHAPE' IN TYPEOF(pd
)))| NOT (SIZEOF(QUERY (sa_occ <* USEDIN(pds,
'INTEGRATED_CNC_SCHEMA.SHAPE_ASPECT.OF_SHAPE')| (sa_occ.
description = 'circular profile occurrence') AND (SIZEOF(
QUERY (sdr <* QUERY (sar <* USEDIN(sa_occ,
'INTEGRATED_CNC_SCHEMA.SHAPE_ASPECT_RELATIONSHIP.' +
'RELATED_SHAPE_ASPECT')| (sar.description = 'profile usage')
AND ('INTEGRATED_CNC_SCHEMA.SHAPE_DEFINING_RELATIONSHIP' IN
TYPEOF(sar)))| (
'INTEGRATED_CNC_SCHEMA.CIRCULAR_CLOSED_PROFILE' IN TYPEOF(sdr
.relating_shape_aspect)))) = 1))) = 1))) = 0);
WR7: SIZEOF(QUERY (pds <* QUERY (pd <* USEDIN(SELF,
'INTEGRATED_CNC_SCHEMA.PROPERTY_DEFINITION.DEFINITION')| (
'INTEGRATED_CNC_SCHEMA.PRODUCT_DEFINITION_SHAPE' IN TYPEOF(pd
)))| NOT (SIZEOF(QUERY (sa_occ <* USEDIN(pds,
'INTEGRATED_CNC_SCHEMA.SHAPE_ASPECT.OF_SHAPE')| (sa_occ.
description = 'top condition occurrence') AND (SIZEOF(QUERY (
fcr <* QUERY (sar <* USEDIN(sa_occ,
'INTEGRATED_CNC_SCHEMA.SHAPE_ASPECT_RELATIONSHIP.RELATED_SHAPE_ASPECT'
)| (sar.description = 'boss top usage') AND (
'INTEGRATED_CNC_SCHEMA.FEATURE_COMPONENT_RELATIONSHIP' IN
TYPEOF(sar)))| ('INTEGRATED_CNC_SCHEMA.BOSS_TOP' IN TYPEOF(
fcr.relating_shape_aspect)))) = 1))) = 1))) = 0;
WR8: NOT (SELF\characterized_object.description = 'circular') OR (
SIZEOF(QUERY (pds <* QUERY (pd <* USEDIN(SELF,
'INTEGRATED_CNC_SCHEMA.PROPERTY_DEFINITION.DEFINITION')| (
'INTEGRATED_CNC_SCHEMA.PRODUCT_DEFINITION_SHAPE' IN TYPEOF(pd
)))| NOT (SIZEOF(QUERY (sa_occ <* USEDIN(pds,
'INTEGRATED_CNC_SCHEMA.SHAPE_ASPECT.OF_SHAPE')| (sa_occ.
description = 'change in diameter occurrence') AND (SIZEOF(
QUERY (fcr <* QUERY (sar <* USEDIN(sa_occ,
'INTEGRATED_CNC_SCHEMA.SHAPE_ASPECT_RELATIONSHIP.' +
'RELATED_SHAPE_ASPECT')| (sar.description = 'taper usage')
AND ('INTEGRATED_CNC_SCHEMA.FEATURE_COMPONENT_RELATIONSHIP'
IN TYPEOF(sar)))| ('INTEGRATED_CNC_SCHEMA.TAPER' IN TYPEOF(
fcr.related_shape_aspect)) AND ('INTEGRATED_CNC_SCHEMA.BOSS'
IN TYPEOF(fcr.relating_shape_aspect)))) = 1))) <= 1))) = 0);
WR9: NOT (SELF\characterized_object.description = 'complex') OR (SIZEOF
(QUERY (pds <* QUERY (pd <* USEDIN(SELF,
'INTEGRATED_CNC_SCHEMA.PROPERTY_DEFINITION.DEFINITION')| (
'INTEGRATED_CNC_SCHEMA.PRODUCT_DEFINITION_SHAPE' IN TYPEOF(pd
)))| NOT (SIZEOF(QUERY (sa_occ <* USEDIN(pds,
'INTEGRATED_CNC_SCHEMA.SHAPE_ASPECT.OF_SHAPE')| (sa_occ.
description = 'enclosed boundary occurrence') AND (SIZEOF(
QUERY (sdr <* QUERY (sar <* USEDIN(sa_occ,
'INTEGRATED_CNC_SCHEMA.SHAPE_ASPECT_RELATIONSHIP.' +
'RELATED_SHAPE_ASPECT')| (sar.description = 'profile usage')
AND ('INTEGRATED_CNC_SCHEMA.SHAPE_DEFINING_RELATIONSHIP' IN
TYPEOF(sar)))| (SIZEOF([
'INTEGRATED_CNC_SCHEMA.NGON_CLOSED_PROFILE',
'INTEGRATED_CNC_SCHEMA.CLOSED_PATH_PROFILE' ] * TYPEOF(sdr.
relating_shape_aspect)) = 1))) = 1))) = 1))) = 0);
WR10: NOT (SELF\characterized_object.description IN [ 'complex',
'rectangular' ]) OR (SIZEOF(QUERY (pds <* QUERY (pd <* USEDIN
(SELF, 'INTEGRATED_CNC_SCHEMA.PROPERTY_DEFINITION.DEFINITION'
)| ('INTEGRATED_CNC_SCHEMA.PRODUCT_DEFINITION_SHAPE' IN
TYPEOF(pd)))| NOT (SIZEOF(QUERY (sa_occ <* USEDIN(pds,
'INTEGRATED_CNC_SCHEMA.SHAPE_ASPECT.OF_SHAPE')| (sa_occ.
description = 'change in boundary occurrence') AND (SIZEOF(
QUERY (fcr <* QUERY (sar <* USEDIN(sa_occ,
'INTEGRATED_CNC_SCHEMA.SHAPE_ASPECT_RELATIONSHIP.' +
'RELATING_SHAPE_ASPECT')| (sar.description = 'taper usage')
AND ('INTEGRATED_CNC_SCHEMA.FEATURE_COMPONENT_RELATIONSHIP'
IN TYPEOF(sar)))| (('INTEGRATED_CNC_SCHEMA.TAPER' IN TYPEOF(
fcr.related_shape_aspect)) AND ('INTEGRATED_CNC_SCHEMA.BOSS'
IN TYPEOF(fcr.relating_shape_aspect))) AND (fcr.
related_shape_aspect.description IN [ 'angle taper',
'directed taper' ]))) = 1))) <= 1))) = 0);
WR11: NOT (SELF\characterized_object.description = 'rectangular') OR (
SIZEOF(QUERY (pds <* QUERY (pd <* USEDIN(SELF,
'INTEGRATED_CNC_SCHEMA.PROPERTY_DEFINITION.DEFINITION')| (
'INTEGRATED_CNC_SCHEMA.PRODUCT_DEFINITION_SHAPE' IN TYPEOF(pd
)))| NOT (SIZEOF(QUERY (sa_occ <* USEDIN(pds,
'INTEGRATED_CNC_SCHEMA.SHAPE_ASPECT.OF_SHAPE')| (sa_occ.
description = 'rectangular profile occurrence') AND (SIZEOF(
QUERY (sdr <* QUERY (sar <* USEDIN(sa_occ,
'INTEGRATED_CNC_SCHEMA.SHAPE_ASPECT_RELATIONSHIP.' +
'RELATED_SHAPE_ASPECT')| (sar.description = 'profile usage')
AND ('INTEGRATED_CNC_SCHEMA.SHAPE_DEFINING_RELATIONSHIP' IN
TYPEOF(sar)))| (
'INTEGRATED_CNC_SCHEMA.RECTANGULAR_CLOSED_PROFILE' IN TYPEOF(
sdr.relating_shape_aspect)))) = 1))) = 1))) = 0);
WR12: SIZEOF(QUERY (pdr <* get_property_definition_representations(SELF
)| ('INTEGRATED_CNC_SCHEMA.PLANAR_SHAPE_REPRESENTATION' IN
TYPEOF(pdr.used_representation)) AND (pdr.used_representation
.name = 'maximum feature limit'))) >= 0;
END_ENTITY; -- 10303-522: aic_machining_feature
|
Generated by STEP ToolsTM EXPRESS to HTML Converter
on 2010-01-12T10:42:17-02:00