(* SCHEMA integrated_cnc_schema; *)
ENTITY slot
SUBTYPE OF (feature_definition);
WHERE
WR1: 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(impl_rep.
used_representation.items) = 1))) = 0))) = 0;
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 = 'swept shape 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.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;
WR3: 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 = 'course of travel 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 =
'course of travel') AND (
'INTEGRATED_CNC_SCHEMA.SHAPE_DEFINING_RELATIONSHIP' IN TYPEOF
(sar))))| ('INTEGRATED_CNC_SCHEMA.PATH_FEATURE_COMPONENT' IN
TYPEOF(sdr.relating_shape_aspect)))) = 1))) = 1))) = 0;
WR4: 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 = 'end condition occurrence') AND (SIZEOF(QUERY (
fcr <* QUERY (sar <* USEDIN(sa_occ, 'INTEGRATED_CNC_SCHEMA.'
+ 'SHAPE_ASPECT_RELATIONSHIP.RELATED_SHAPE_ASPECT')| ((sar.
description = 'slot end usage') AND (sar.name IN [
'course of travel start', 'course of travel end' ])) AND (
'INTEGRATED_CNC_SCHEMA.FEATURE_COMPONENT_RELATIONSHIP' IN
TYPEOF(sar)))| (('INTEGRATED_CNC_SCHEMA.SLOT_END' IN TYPEOF(
fcr.relating_shape_aspect)) AND (fcr.relating_shape_aspect.
description IN [ 'open', 'radiused', 'flat', 'woodruff' ]))
AND ('INTEGRATED_CNC_SCHEMA.SLOT' IN TYPEOF(fcr.
related_shape_aspect.of_shape.definition)))) = 1))) = 2) OR (
SIZEOF(QUERY (sa_occ <* USEDIN(pds,
'INTEGRATED_CNC_SCHEMA.SHAPE_ASPECT.OF_SHAPE')| (sa_occ.
description = 'end condition occurrence') AND (SIZEOF(QUERY (
fcr <* QUERY (sar <* USEDIN(sa_occ, 'INTEGRATED_CNC_SCHEMA.'
+ 'SHAPE_ASPECT_RELATIONSHIP.RELATED_SHAPE_ASPECT')| ((sar.
description = 'slot end usage') AND (sar.name IN [
'course of travel start', 'course of travel end' ])) AND (
'INTEGRATED_CNC_SCHEMA.FEATURE_COMPONENT_RELATIONSHIP' IN
TYPEOF(sar)))| (('INTEGRATED_CNC_SCHEMA.SLOT_END' IN TYPEOF(
fcr.relating_shape_aspect)) AND (fcr.relating_shape_aspect.
description IN [ 'loop' ])) AND ('INTEGRATED_CNC_SCHEMA.SLOT'
IN TYPEOF(fcr.related_shape_aspect.of_shape.definition)))) =
1))) = 1)))) = 0;
WR5: NOT (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 = 'end condition occurrence') AND (SIZEOF(QUERY (
fcr <* QUERY (sar <* USEDIN(sa_occ,
'INTEGRATED_CNC_SCHEMA.SHAPE_ASPECT_RELATIONSHIP.' +
'RELATED_SHAPE_ASPECT')| ((sar.description = 'slot end usage'
) AND (sar.name IN [ 'course of travel start',
'course of travel end' ])) AND (
'INTEGRATED_CNC_SCHEMA.FEATURE_COMPONENT_RELATIONSHIP' IN
TYPEOF(sar)))| (('INTEGRATED_CNC_SCHEMA.SLOT_END' IN TYPEOF(
fcr.relating_shape_aspect)) AND (fcr.relating_shape_aspect.
description IN [ 'loop' ])) AND ('INTEGRATED_CNC_SCHEMA.SLOT'
IN TYPEOF(fcr.related_shape_aspect.of_shape.definition)))) =
1))) = 1))) = 0) 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 = 'course of travel 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 =
'course of travel') 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 IN [ 'complex',
'complete circular' ]))) = 1))) = 1))) = 0);
WR6: 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:23-02:00