(* SCHEMA integrated_cnc_schema; *)
ENTITY pocket
SUBTYPE OF (feature_definition);
WHERE
WR1: SELF\characterized_object.description IN [ 'closed rectangular',
'open rectangular', 'complex', 'circular cutout',
'complex cutout', 'recess' ];
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 = 'pocket depth 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 (sar.name =
'pocket depth')) 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'))) = 1))) = 1)))
= 0;
WR3: SIZEOF(QUERY (pdr <* get_property_definition_representations(SELF)
| (
'INTEGRATED_CNC_SCHEMA.SHAPE_REPRESENTATION_WITH_PARAMETERS'
IN TYPEOF(pdr.used_representation)))) = 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 ((1 <= SIZEOF(pdr.
used_representation.items)) AND (SIZEOF(pdr.
used_representation.items) <= 2)))) = 1))) = 1;
WR5: 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;
WR6: 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;
WR7: NOT (SELF\characterized_object.description IN [ 'complex',
'non-circular cutout', 'recess' ]) 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 = '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.CIRCULAR_CLOSED_PROFILE',
'INTEGRATED_CNC_SCHEMA.NGON_CLOSED_PROFILE',
'INTEGRATED_CNC_SCHEMA.RECTANGULAR_CLOSED_PROFILE',
'INTEGRATED_CNC_SCHEMA.CLOSED_PATH_PROFILE',
'INTEGRATED_CNC_SCHEMA.SQUARE_U_PROFILE',
'INTEGRATED_CNC_SCHEMA.PARTIAL_CIRCULAR_PROFILE',
'INTEGRATED_CNC_SCHEMA.ROUNDED_U_PROFILE',
'INTEGRATED_CNC_SCHEMA.VEE_PROFILE',
'INTEGRATED_CNC_SCHEMA.TEE_PROFILE',
'INTEGRATED_CNC_SCHEMA.OPEN_PATH_PROFILE' ] * TYPEOF(sdr.
relating_shape_aspect)) = 1))) = 1))) = 1))) = 0);
WR8: NOT (SELF\characterized_object.description = 'closed 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 = 'closed 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)))| (
'INTEGRATED_CNC_SCHEMA.RECTANGULAR_CLOSED_PROFILE' IN TYPEOF(
sdr.relating_shape_aspect)))) = 1))) = 1))) = 0);
WR9: NOT (SELF\characterized_object.description = 'open 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 = 'open 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)))| ('INTEGRATED_CNC_SCHEMA.SQUARE_U_PROFILE' IN
TYPEOF(sdr.relating_shape_aspect)))) = 1))) = 1))) = 0);
WR10: 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 = 'bottom condition occurrence') AND (SIZEOF(
QUERY (sdr <* QUERY (sar <* USEDIN(sa_occ,
'INTEGRATED_CNC_SCHEMA.SHAPE_ASPECT_RELATIONSHIP.' +
'RELATED_SHAPE_ASPECT')| (sar.description =
'pocket bottom usage') AND (
'INTEGRATED_CNC_SCHEMA.FEATURE_COMPONENT_RELATIONSHIP' IN
TYPEOF(sar)))| ('INTEGRATED_CNC_SCHEMA.POCKET_BOTTOM' IN
TYPEOF(sdr.relating_shape_aspect)) AND (
'INTEGRATED_CNC_SCHEMA.POCKET' IN TYPEOF(sdr.
related_shape_aspect.of_shape.definition)))) = 1))) = 1))) =
0;
WR11: NOT (SELF\characterized_object.description IN [ 'complex',
'non-circular cutout', 'recess' ]) 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.relating_shape_aspect)) AND (
'INTEGRATED_CNC_SCHEMA.POCKET' IN TYPEOF(fcr.
related_shape_aspect.of_shape.definition))) AND (fcr.
related_shape_aspect.description IN [ 'angle taper',
'directed taper' ]))) = 1))) <= 1))) = 0);
WR12: NOT (SELF\characterized_object.description = 'circular cutout')
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)))| (
'INTEGRATED_CNC_SCHEMA.CIRCULAR_CLOSED_PROFILE' IN TYPEOF(sdr
.relating_shape_aspect)))) = 1))) = 1))) = 0);
WR13: NOT (SELF\characterized_object.description IN [ 'circular cutout'
, 'complex cutout' ]) 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 = 'bottom condition occurrence') AND (SIZEOF(
QUERY (sdr <* QUERY (sar <* USEDIN(sa_occ,
'INTEGRATED_CNC_SCHEMA.SHAPE_ASPECT_RELATIONSHIP.' +
'RELATED_SHAPE_ASPECT')| (sar.description =
'pocket bottom usage') AND (
'INTEGRATED_CNC_SCHEMA.FEATURE_COMPONENT_RELATIONSHIP' IN
TYPEOF(sar)))| (('INTEGRATED_CNC_SCHEMA.POCKET_BOTTOM' IN
TYPEOF(sdr.relating_shape_aspect)) AND (
'INTEGRATED_CNC_SCHEMA.POCKET' IN TYPEOF(sdr.
related_shape_aspect.of_shape.definition))) AND (sdr.
relating_shape_aspect.description = 'through'))) = 1))) = 1))
) = 0);
WR14: NOT (SELF\characterized_object.description = 'recess') 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 = 'bottom condition occurrence') AND (SIZEOF(
QUERY (sdr <* QUERY (sar <* USEDIN(sa_occ,
'INTEGRATED_CNC_SCHEMA.SHAPE_ASPECT_RELATIONSHIP.' +
'RELATED_SHAPE_ASPECT')| (sar.description =
'pocket bottom usage') AND (
'INTEGRATED_CNC_SCHEMA.FEATURE_COMPONENT_RELATIONSHIP' IN
TYPEOF(sar)))| (('INTEGRATED_CNC_SCHEMA.POCKET_BOTTOM' IN
TYPEOF(sdr.relating_shape_aspect)) AND (
'INTEGRATED_CNC_SCHEMA.POCKET' IN TYPEOF(sdr.
related_shape_aspect.of_shape.definition))) AND (sdr.
relating_shape_aspect.description IN [ 'planar', 'complex' ])
)) = 1))) = 1))) = 0);
WR15: 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;
WR16: NOT (SELF\characterized_object.description IN [
'closed rectangular', 'open rectangular', 'complex', 'recess'
]) OR (SIZEOF(QUERY (pds <* USEDIN(SELF,
'INTEGRATED_CNC_SCHEMA.PROPERTY_DEFINITION.DEFINITION')| (
'INTEGRATED_CNC_SCHEMA.PRODUCT_DEFINITION_SHAPE' IN TYPEOF(
pds)) AND (SIZEOF(QUERY (csa <* USEDIN(pds,
'INTEGRATED_CNC_SCHEMA.SHAPE_ASPECT.OF_SHAPE')| ((
'INTEGRATED_CNC_SCHEMA.COMPOSITE_SHAPE_ASPECT' IN TYPEOF(csa)
) AND (csa.name = 'uncut volume')) AND (SIZEOF(QUERY (sar <*
csa.component_relationships| (
'INTEGRATED_CNC_SCHEMA.FEATURE_COMPONENT_RELATIONSHIP' IN
TYPEOF(sar)) AND (SIZEOF([ 'INTEGRATED_CNC_SCHEMA.BOSS',
'INTEGRATED_CNC_SCHEMA.PROTRUSION' ] * TYPEOF(sar.
related_shape_aspect)) = 1))) = 1))) <= 1))) = 1);
WR17: NOT (SELF\characterized_object.description IN [
'closed rectangular', 'open 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.relating_shape_aspect)) AND (
'INTEGRATED_CNC_SCHEMA.POCKET' IN TYPEOF(fcr.
related_shape_aspect.of_shape.definition))) AND (fcr.
related_shape_aspect.description IN [ 'angle taper',
'directed taper' ]))) >= 1))) <= 1))) = 0);
END_ENTITY; -- 10303-522: aic_machining_feature
|
Generated by STEP ToolsTM EXPRESS to HTML Converter
on 2010-01-12T10:42:22-02:00