IFC 4.3.2.20250327 (IFC4X3_ADD2) under development

6.4.3.5 IfcOccupant

6.4.3.5.1 Semantic definition

An occupant is a type of actor that defines the form of occupancy of a property.

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 and organization details) are inherited from the IfcActor entity.

6.4.3.5.2 Entity inheritance

6.4.3.5.3 Attributes

# Attribute Type Description
IfcRoot (4)
IfcObjectDefinition (7)
IfcObject (5)
IfcActor (2)
Click to show 18 hidden inherited attributes
IfcOccupant (1)
7 PredefinedType OPTIONAL IfcOccupantTypeEnum

Predefined occupant types from which that required may be set.

Table 6.4.3.5.A

6.4.3.5.4 Formal propositions

Name Description
WR31

The attribute ObjectType must be asserted when the value of the IfcOccupantTypeEnum is set to USERDEFINED.

NOT(PredefinedType = IfcOccupantTypeEnum.USERDEFINED)
OR EXISTS(SELF\IfcObject.ObjectType)
Table 6.4.3.5.B

6.4.3.5.5 Property sets

  • Pset_ActorCommon
    • NumberOfActors
    • ActorCategory
    • SkillLevel
  • Pset_Address
    • Purpose
    • Description
    • UserDefinedPurpose
    • InternalLocation
    • AddressLines
    • PostalBox
    • Town
    • Region
    • PostalCode
    • Country
    • TelephoneNumbers
    • FacsimileNumbers
    • PagerNumber
    • ElectronicMailAddresses
    • WWWHomePageURL
    • MessagingIDs

6.4.3.5.6 Concept usage

Concept Usage Description
IfcRoot (2)
IfcObjectDefinition (9)
IfcObject (5)
IfcActor (2)
Click to show 18 hidden inherited concepts
IfcOccupant (1)
Actor Assignment General

This concept can be applied to the following resources:

  • IfcSpatialStructureElement - Indicates the property to be occupied. Particular details of the agreement relating to the occupancy of a property are dealt within 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 through the IfcSpatialStructureElement.ElementComposition attribute. 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 enumeration. If the role is not specified by the predefined contents of this enumeration, the value USERDEFINED may be set and the ObjectType attribute asserted.
Table 6.4.3.5.C

6.4.3.5.7 Formal representation

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

6.4.3.5.8 References

Edit on Github

3 contributor(s):
Last change: Improve definition split (#876) * bring back headers headers were previously removed by mistake, now bringing them back * add new lines and rename the tag add the word 'short' in it * unify newlines make exactly one newline before and two after the tag * resolving typos Because bringing back headers required to go back in time to previous version, I'm now re-resolving the issues: #861, #860, #856 by ArturTomczak on 7/16/2024, 2:07:28 PM

Is this page difficult to understand? Let us know!

6.4.3.5.9 Changelog

6.4.3.5.9.1 IFC4

  • attribute PredefinedType optional, Changed from "False" to "True"