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:

ENTITY IfcOccupant
SUBTYPE OF ( | IfcActor);
PredefinedType | : | IfcOccupantTypeEnum;
WHERE
WR31 | : | NOT(PredefinedType = IfcOccupantTypeEnum.USERDEFINED) OR EXISTS(SELF\IfcObject.ObjectType);
END_ENTITY;

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

ENTITY IfcOccupant;
ENTITY IfcRoot;
GlobalId | : | IfcGloballyUniqueId;
OwnerHistory | : | IfcOwnerHistory;
Name | : | OPTIONAL IfcLabel;
Description | : | OPTIONAL IfcText;
ENTITY IfcObjectDefinition;
INVERSE
HasAssignments | : | SET OF IfcRelAssigns FOR RelatedObjects;
IsDecomposedBy | : | SET OF IfcRelDecomposes FOR RelatingObject;
Decomposes | : | SET [0:1] OF IfcRelDecomposes FOR RelatedObjects;
HasAssociations | : | SET OF IfcRelAssociates FOR RelatedObjects;
ENTITY IfcObject;
ObjectType | : | OPTIONAL IfcLabel;
INVERSE
IsDefinedBy | : | SET OF IfcRelDefines FOR RelatedObjects;
ENTITY IfcActor;
TheActor | : | IfcActorSelect;
INVERSE
IsActingUpon | : | SET OF IfcRelAssignsToActor FOR RelatingActor;
ENTITY IfcOccupant;
PredefinedType | : | IfcOccupantTypeEnum;
END_ENTITY;