A Property_distribution is a Mapping that is between a Physical_space and a Property_space, and that has instances of Possession_of_property as members.
EXAMPLE - The variation of mass flow rate with time, through pipe 'P_1' of 'widget type XYZ' during the activity 'widget type XYZ start-up' is a Property_distribution.
EXAMPLE - The variation of stress with position within 'widget type XYZ' in state 'widget XYZ at full power' is a Property_distribution.
EXAMPLE - The variation of stress with position within 'widget type XYZ' and time within activity 'widget type XYZ start-up' is a Property_distribution.
EXPRESS specification:
*) ENTITY Property_distribution SUBTYPE OF (Mapping); domain : Physical_space; range : Property_space; END_ENTITY; (*
Attribute definitions:
domain: the Physical_space that has each member with a Possession_of_property relationship with a member of the range.
range: the Property_space that has the instances of Independent_property_definition possessed by member of the domain as members.