Schema: Possession_of_property_mim
SCHEMA Possession_of_property_mim;
USE FROM
Individual_activity_mim;
-- ISO/TS 10303-1176
USE FROM
Independent_property_definition_mim;
-- ISO/TS 10303-1099
USE FROM
Process_property_assignment_mim;
-- ISO/TS 10303-1040
USE FROM
Product_as_individual_mim;
-- ISO/TS 10303-1164
USE FROM
Property_assignment_mim;
-- ISO/TS 10303-1030
ENTITY possession_of_property_by_activity
SUBTYPE OF (action_property);
SELF\action_property.definition : individual_activity;
END_ENTITY;
ENTITY possession_of_property_by_product
SUBTYPE OF (property_definition);
WHERE
link_to_individual: 'PRODUCT_AS_INDIVIDUAL_MIM.PRODUCT_AS_INDIVIDUAL_VERSION' IN TYPEOF(SELF\property_definition.definition.formation);
END_ENTITY;
ENTITY possessed_property
SUBTYPE OF (general_property_association);
SELF\general_property_association.base_definition : physical_quantity_instance;
WHERE
link_to_possession: ('POSSESSION_OF_PROPERTY_MIM.POSSESSION_OF_PROPERTY_BY_ACTIVITY' IN TYPEOF(SELF\general_property_association.derived_definition))
OR ('POSSESSION_OF_PROPERTY_MIM.POSSESSION_OF_PROPERTY_BY_PRODUCT' IN TYPEOF(SELF\general_property_association.derived_definition));
END_ENTITY;
END_SCHEMA; -- Possession_of_property_mim