#### 6.1.3.2 IfcCovering

| Bekleidung / Belag
| Revêtement

A covering is an element which covers some part of another element and is fully dependent on that other element. The IfcCovering defines the occurrence of a covering type, that (if given) is expressed by the IfcCoveringType.

> NOTE Definition according to ISO ISO 6707-1: final coverings and treatments of surfaces and their intersections.

Coverings are elements with relationships to the covered element and the space on the other side, they may contain openings, assigned by IfcRelVoidsElement, material information, assigned by IfcRelAssociatesMaterial, and others.

> EXAMPLE Coverings include wall claddings, floorings, suspended ceilings, moldings and skirting boards.

> NOTE A more basic information about claddings, floorings, and ceilings of a space can be attached to IfcSpace's using the Pset_SpaceCommon properties. Then only a name can be provided and the covering quantities would be interpreted from the space quantities.

Coverings can be assigned to

- a space represented by IfcSpace
  - using the inverse relationship CoversSpaces pointing to IfcRelCoversSpaces. The space is then accessible via IfcRelCoversSpaces.RelatedSpace. It defines to which space a covering is facing towards.
- a space boundary represented by IfcRelSpaceBoundary
  - using the inverse relationship ProvidesBoundaries pointing to IfcRelSpaceBoundary. The space is then accessible via IfcRelSpaceBoundary.RelatingSpace.
- a building element represented by IfcBuildingElement
  - using the inverse relationship Covers pointing to IfcRelCoversBldgElements. The building element is then accessible via IfcRelCoversBldgElements.RelatingBuildingElement.

> NOTE The mere containment relationship between an IfcCovering and an IfcSpace is created by using IfcRelContainedInSpatialStructure

The following guideline shall apply:

- (default) if the space has coverings that may not have their own shape representation and no defined relationships to the building elements they cover, then the IfcCovering shall be assigned to IfcSpace using the IfcRelCoversSpaces relationship,
- if the space has coverings that have an own shape representation and the space has defined space boundaries, then the covering, which relates to that space, shall be contained in the space using IfcRelContainedInSpatialStructure. It may be assigned to the space boundaries using the IfcRelSpaceBoundary.
- if the covering does not relate to a space, then the covering should be assigned to the building element or a distribution element using the IfcRelCoversBldgElements relationship.

> HISTORY New entity in IFC1.0.

> IFC2x CHANGE The attribute PredefinedType is now optional and should only be inserted when no type information, given by IfcCoveringType, is assigned to the IfcCovering occurrence by IfcRelDefinesByType.

XSD Specification:

<xs:element name="IfcCovering" type="ifc:IfcCovering" substitutionGroup="ifc:IfcBuildingElement" nillable="true"/>
<xs:complexType name="IfcCovering">
<xs:complexContent>
<xs:extension base="ifc:IfcBuildingElement"/>
</xs:complexContent>
</xs:complexType>

EXPRESS Specification:

ENTITY IfcCovering

| SUBTYPE OF (IfcBuildingElement);

PredefinedType | : | OPTIONAL IfcStrippedOptional;

| INVERSE

| WHERE

CorrectPredefinedType | : | NOT(EXISTS(PredefinedType)) OR (PredefinedType <> IfcCoveringTypeEnum.USERDEFINED) OR ((PredefinedType = IfcCoveringTypeEnum.USERDEFINED) AND EXISTS (SELF\IfcObject.ObjectType));
CorrectTypeAssigned | : | (SIZEOF(IsTypedBy) = 0) OR ('IFCSHAREDBLDGELEMENTS.IFCCOVERINGTYPE' IN TYPEOF(SELF\IfcObject.IsTypedBy[1].RelatingType));

END_ENTITY;

Attribute Definitions:

Formal Propositions:

CorrectPredefinedType | : | Either the PredefinedType attribute is unset (e.g. because an IfcCoveringType is associated), or the inherited attribute ObjectType shall be given, if the PredefinedType is set to USERDEFINED.
CorrectTypeAssigned | : | Either there is no covering type object associated, i.e. the IsTypedBy inverse relationship is not provided, or the associated type object has to be of type IfcCoveringType.

Inheritance Graph:

ENTITY IfcCovering

| ENTITY IfcRoot

GlobalId | : | IfcGloballyUniqueId;
OwnerHistory | : | OPTIONAL IfcOwnerHistory;
Name | : | OPTIONAL IfcLabel;
Description | : | OPTIONAL IfcText;

| ENTITY IfcObjectDefinition

| INVERSE

HasAssignments | : | SET OF IfcRelAssigns FOR RelatedObjects;
Nests | : | SET [0:1] OF IfcRelNests FOR RelatedObjects;
IsNestedBy | : | SET OF IfcRelNests FOR RelatingObject;
HasContext | : | SET [0:1] OF IfcRelDeclares FOR RelatedDefinitions;
IsDecomposedBy | : | SET OF IfcRelAggregates FOR RelatingObject;
Decomposes | : | SET [0:1] OF IfcRelAggregates FOR RelatedObjects;
HasAssociations | : | SET OF IfcRelAssociates FOR RelatedObjects;

| ENTITY IfcObject

ObjectType | : | OPTIONAL IfcStrippedOptional;

| INVERSE

IsDeclaredBy | : | SET [0:1] OF IfcRelDefinesByObject FOR RelatedObjects;
Declares | : | SET OF IfcRelDefinesByObject FOR RelatingObject;
IsTypedBy | : | SET [0:1] OF IfcRelDefinesByType FOR RelatedObjects;
IsDefinedBy | : | SET OF IfcRelDefinesByProperties FOR RelatedObjects;

| ENTITY IfcProduct

ObjectPlacement | : | OPTIONAL IfcObjectPlacement;
Representation | : | OPTIONAL IfcProductRepresentation;

| INVERSE

ReferencedBy | : | SET OF IfcRelAssignsToProduct FOR RelatingProduct;

| ENTITY IfcElement

Tag | : | OPTIONAL IfcStrippedOptional;

| INVERSE

ConnectedTo | : | SET OF IfcRelConnectsElements FOR RelatingElement;
IsInterferedByElements | : | SET OF IfcRelInterferesElements FOR RelatedElement;
InterferesElements | : | SET OF IfcRelInterferesElements FOR RelatingElement;
HasOpenings | : | SET OF IfcRelVoidsElement FOR RelatingBuildingElement;
ProvidesBoundaries | : | SET OF IfcRelSpaceBoundary FOR RelatedBuildingElement;
ConnectedFrom | : | SET OF IfcRelConnectsElements FOR RelatedElement;
ContainedInStructure | : | SET [0:1] OF IfcRelContainedInSpatialStructure FOR RelatedElements;

| ENTITY IfcBuildingElement

| INVERSE

| ENTITY IfcCovering

PredefinedType | : | OPTIONAL IfcStrippedOptional;

| INVERSE

END_ENTITY;

Link to this page