A Property_space is a Physical_space that contains instances of Independent_property_definition. The criterion for membership of a Property_space is the nature of the physical phenomenon that is observed or measured.
NOTE - The term 'property space' is defined in clause 3.
An instance of Property_space can be a standard instance, or an instance defined by a user.
NOTE - Standard instances of Property_space for structural analysis are defined in the property dictionary for structural analysis application module.
EXPRESS specification:
*) ENTITY Property_space SUBTYPE OF (Physical_space); END_ENTITY; (*