#### 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.

## Electrical System Design

Instance diagram

Identity

The Identity concept applies to this entity.

Exchange |  |  |  |  |  |  |  |  |  |  |  |  |
--- | --- | --- | --- | --- | --- | --- | --- | --- | --- | --- | --- | --- | ---
Import |  |  |  |  |  |  |  | R |  |  |  |  |
Export |  |  |  |  |  |  |  | R |  |  |  |  |

Element Decomposition

The Element Decomposition concept applies to this entity as shown in Table 35.

RelatedObjects | Description
--- | ---
IfcGrid | Ceilings may contain a grid structure used to establish pattern of ceiling tiles and suspended light fixtures.
IfcLightFixture | Ceilings may contain light fixtures, optionally placed in a grid structure.
Table 35 — IfcCovering Element Decomposition

Exchange |  |  |  |  |  |  |  |  |  |  |  |  |
--- | --- | --- | --- | --- | --- | --- | --- | --- | --- | --- | --- | --- | ---
Import |  |  |  |  |  |  |  |  |  |  |  |  |
Export |  |  |  |  |  |  |  |  |  |  |  |  |

Spatial Containment

The Spatial Containment concept applies to this entity as shown in Table 36.

Structure | Description
--- | ---
IfcSite | Underground or overground cable carriers are contained within the site.
IfcBuildingStorey | Cable carriers that span multiple spaces are contained within a building storey. If the cable carrier segment spans multiple storeys, it is placed within the storey containing the placement origin, corresponding with the axis origin.
Table 36 — IfcCovering Spatial Containment

Exchange |  |  |  |  |  |  |  |  |  |  |  |  |
--- | --- | --- | --- | --- | --- | --- | --- | --- | --- | --- | --- | --- | ---
Import |  |  |  |  |  |  |  |  |  |  |  |  |
Export |  |  |  |  |  |  |  |  |  |  |  |  |

Placement

The Placement concept applies to this entity.

Exchange |  |  |  |  |  |  |  |  |  |  |  |  |
--- | --- | --- | --- | --- | --- | --- | --- | --- | --- | --- | --- | --- | ---
Import |  |  |  |  |  |  |  | R |  |  |  |  |
Export |  |  |  |  |  |  |  | R |  |  |  |  |

Footprint Geometry

The Footprint Geometry concept applies to this entity.

Exchange |  |  |  |  |  |  |  |  |  |  |  |  |
--- | --- | --- | --- | --- | --- | --- | --- | --- | --- | --- | --- | --- | ---
Import |  |  |  |  |  |  |  | R |  |  |  |  |
Export |  |  |  |  |  |  |  | R |  |  |  |  |

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:attribute name="PredefinedType" type="ifc:IfcCoveringTypeEnum" use="optional"/>
</xs:extension>
</xs:complexContent>
</xs:complexType>

EXPRESS Specification:

ENTITY IfcCovering

| SUBTYPE OF (IfcBuildingElement);

PredefinedType | : | OPTIONAL IfcCoveringTypeEnum;

| INVERSE

CoversSpaces | : | SET [0:1] OF IfcRelCoversSpaces FOR RelatedCoverings;

| 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:

PredefinedType | : | Predefined types to define the particular type of the covering. There may be property set definitions available for each predefined type. NOTE The PredefinedType shall only be used, if no IfcCoveringType is assigned, providing its own IfcCoveringType.PredefinedType.
CoversSpaces | : | Reference to the objectified relationship that handles the relationship of the covering to the covered space.

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

IsInterferedByElements | : | SET OF IfcRelInterferesElements FOR RelatedElement;
InterferesElements | : | SET OF IfcRelInterferesElements FOR RelatingElement;
ContainedInStructure | : | SET [0:1] OF IfcRelContainedInSpatialStructure FOR RelatedElements;

| ENTITY IfcBuildingElement

| INVERSE

| ENTITY IfcCovering

PredefinedType | : | OPTIONAL IfcCoveringTypeEnum;

| INVERSE

CoversSpaces | : | SET [0:1] OF IfcRelCoversSpaces FOR RelatedCoverings;

END_ENTITY;

Link to this page