IfcOccupant
Definition from IAI: AnIfcOccupant
is a type of actor that defines the form of occupancy of a property.
HISTORY
New class in IFC Release 2x. Modified in IFC 2x2
Use Definitions
The principal purpose of IfcOccupant is to
determine the nature of occupancy of a property for a particular actor.
All characteristics relating to the actor (name, organization details
etc.) are inherited from the IfcActor class.
The property to be occupied is defined by IfcSpatialStructureElement
and the assignment of the occupant to the property is via the IfcRelOccupiesSpaces
relationship class. Particular details of the agreement relating to the
occupancy of a property are dealt with in the Pset_PropertyAgreement
that is defined for the instance of IfcSpatialStructureElement.
This means that an occupant may be related to a site, building,
building storey or space or to any composition of site, building,
building storey or space through the IfcSpatialStructureElement.ElementComposition.
For instance, if the property concerned is several office spaces on a
building storey, it might be appropriate to reference IfcBuildingStorey.ElementComposition=PARTIAL.
Occupants of a property may be considered to be the parties to
an agreement. The roles that the occupant may play in respect to an
agreement are defined in the IfcOccupantTypeEnum.
If the role is not specified by the predefined contents of this
enumeration, the value USERDEFINED may be set and the IfcOccupant.UserDefinedOccupant
attribute asserted.
EXPRESS specification:
|
|
|
|
|
|
| WR31
|
:
|
NOT(PredefinedType = IfcOccupantTypeEnum.USERDEFINED)
OR EXISTS(SELF\IfcObject.ObjectType);
|
|
|
|
Attribute definitions:
| PredefinedType
|
:
|
Predefined occupant types from which that required may be set.
|
Formal Propositions:
| WR31
|
:
|
The attribute ObjectType must be asserted when the value of the IfcOccupantTypeEnum is set to USERDEFINED.
|
Inheritance graph