6.1.3.12 IfcCovering

6.1.3.12.1 Semantic definition

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.

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.

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.

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.

6.1.3.12.2 Entity inheritance

- IfcRoot

6.1.3.12.3 Attributes

#	Attribute	Type	Description
IfcRoot (4)
1	GlobalId	IfcGloballyUniqueId	Assignment of a globally unique identifier within the entire software world.
2	OwnerHistory	OPTIONAL IfcOwnerHistory	Assignment of the information about the current ownership of that object, including owning actor, application, local identification and information captured about the recent changes of the object, NOTE only the last modification in stored - either as addition, deletion or modification. IFC4-CHANGE The attribute has been changed to be OPTIONAL.
3	Name	OPTIONAL IfcLabel	Optional name for use by the participating software systems or users. For some subtypes of IfcRoot the insertion of the Name attribute may be required. This would be enforced by a where rule.
4	Description	OPTIONAL IfcText	Optional description, provided for exchanging informative comments.
IfcObjectDefinition (7)
	HasAssignments	SET [0:?] OF IfcRelAssigns FOR RelatedObjects	Reference to the relationship objects, that assign (by an association relationship) other subtypes of IfcObject to this object instance. Examples are the association to products, processes, controls, resources or groups.
	Nests	SET [0:1] OF IfcRelNests FOR RelatedObjects	References to the decomposition relationship being a nesting. It determines that this object definition is a part within an ordered whole/part decomposition relationship. An object occurrence or type can only be part of a single decomposition (to allow hierarchical strutures only). IFC4-CHANGE The inverse attribute datatype has been added and separated from Decomposes defined at IfcObjectDefinition.
	IsNestedBy	SET [0:?] OF IfcRelNests FOR RelatingObject	References to the decomposition relationship being a nesting. It determines that this object definition is the whole within an ordered whole/part decomposition relationship. An object or object type can be nested by several other objects (occurrences or types). IFC4-CHANGE The inverse attribute datatype has been added and separated from IsDecomposedBy defined at IfcObjectDefinition.
	HasContext	SET [0:1] OF IfcRelDeclares FOR RelatedDefinitions	References to the context providing context information such as project unit or representation context. It should only be asserted for the uppermost non-spatial object. IFC4-CHANGE The inverse attribute datatype has been added.
	IsDecomposedBy	SET [0:?] OF IfcRelAggregates FOR RelatingObject	References to the decomposition relationship being an aggregation. It determines that this object definition is whole within an unordered whole/part decomposition relationship. An object definitions can be aggregated by several other objects (occurrences or parts). IFC4-CHANGE The inverse attribute datatype has been changed from the supertype IfcRelDecomposes to subtype IfcRelAggregates.
	Decomposes	SET [0:1] OF IfcRelAggregates FOR RelatedObjects	References to the decomposition relationship being an aggregation. It determines that this object definition is a part within an unordered whole/part decomposition relationship. An object definitions can only be part of a single decomposition (to allow hierarchical strutures only). IFC4-CHANGE The inverse attribute datatype has been changed from the supertype IfcRelDecomposes to subtype IfcRelAggregates.
	HasAssociations	SET [0:?] OF IfcRelAssociates FOR RelatedObjects	Reference to the relationship objects, that associates external references or other resource definitions to the object.. Examples are the association to library, documentation or classification.
IfcObject (5)
5	ObjectType	OPTIONAL IfcLabel	The type denotes a particular type that indicates the object further. The use has to be established at the level of instantiable subtypes. In particular it holds the user defined type, if the enumeration of the attribute PredefinedType is set to USERDEFINED.
	IsDeclaredBy	SET [0:1] OF IfcRelDefinesByObject FOR RelatedObjects	Link to the relationship object pointing to the declaring object that provides the object definitions for this object occurrence. The declaring object has to be part of an object type decomposition. The associated IfcObject, or its subtypes, contains the specific information (as part of a type, or style, definition), that is common to all reflected instances of the declaring IfcObject, or its subtypes. IFC4-CHANGE New inverse relationship, change made with upward compatibility for file based exchange.
	Declares	SET [0:?] OF IfcRelDefinesByObject FOR RelatingObject	Link to the relationship object pointing to the reflected object(s) that receives the object definitions. The reflected object has to be part of an object occurrence decomposition. The associated IfcObject, or its subtypes, provides the specific information (as part of a type, or style, definition), that is common to all reflected instances of the declaring IfcObject, or its subtypes. IFC4-CHANGE New inverse relationship, change made with upward compatibility for file based exchange.
	IsTypedBy	SET [0:1] OF IfcRelDefinesByType FOR RelatedObjects	Set of relationships to the object type that provides the type definitions for this object occurrence. The then associated IfcTypeObject, or its subtypes, contains the specific information (or type, or style), that is common to all instances of IfcObject, or its subtypes, referring to the same type. IFC4-CHANGE New inverse relationship, the link to IfcRelDefinesByType had previously be included in the inverse relationship IfcRelDefines. Change made with upward compatibility for file based exchange.
	IsDefinedBy	SET [0:?] OF IfcRelDefinesByProperties FOR RelatedObjects	Set of relationships to property set definitions attached to this object. Those statically or dynamically defined properties contain alphanumeric information content that further defines the object. IFC4-CHANGE The data type has been changed from IfcRelDefines to IfcRelDefinesByProperties with upward compatibility for file based exchange.
IfcProduct (5)
6	ObjectPlacement	OPTIONAL IfcObjectPlacement	This establishes the object coordinate system and placement of the product in space. The placement can either be absolute (relative to the world coordinate system), relative (relative to the object placement of another product), or constrained (e.g. relative to grid axes, or to a linear positioning element). The type of placement is determined by the various subtypes of IfcObjectPlacement. An object placement must be provided if a representation is present.
7	Representation	OPTIONAL IfcProductRepresentation	Reference to the representations of the product, being either a representation (IfcProductRepresentation) or as a special case a shape representations (IfcProductDefinitionShape). The product definition shape provides for multiple geometric representations of the shape property of the object within the same object coordinate system, defined by the object placement.
	ReferencedBy	SET [0:?] OF IfcRelAssignsToProduct FOR RelatingProduct	Reference to the IfcRelAssignsToProduct relationship, by which other products, processes, controls, resources or actors (as subtypes of IfcObjectDefinition) can be related to this product.
	PositionedRelativeTo	SET [0:?] OF IfcRelPositions FOR RelatedProducts	No description available.
	ReferencedInStructures	SET [0:?] OF IfcRelReferencedInSpatialStructure FOR RelatedElements	No description available.
IfcElement (13)
8	Tag	OPTIONAL IfcIdentifier	The tag (or label) identifier at the particular instance of a product, e.g. the serial number, or the position number. It is the identifier at the occurrence level.
	FillsVoids	SET [0:1] OF IfcRelFillsElement FOR RelatedBuildingElement	Reference to the IfcRelFillsElement Relationship that puts the element as a filling into the opening created within another element.
	ConnectedTo	SET [0:?] OF IfcRelConnectsElements FOR RelatingElement	Reference to the element connection relationship. The relationship then refers to the other element to which this element is connected to.
	IsInterferedByElements	SET [0:?] OF IfcRelInterferesElements FOR RelatedElement	Reference to the interference relationship to indicate the element that is interfered. The relationship, if provided, indicates that this element has an interference with one or many other elements. NOTE There is no indication of precedence between IsInterferedByElements and InterferesElements. IFC4-CHANGE New inverse relationship.
	InterferesElements	SET [0:?] OF IfcRelInterferesElements FOR RelatingElement	Reference to the interference relationship to indicate the element that interferes. The relationship, if provided, indicates that this element has an interference with one or many other elements. NOTE There is no indication of precedence between IsInterferedByElements and InterferesElements. IFC4-CHANGE New inverse relationship.
	HasProjections	SET [0:?] OF IfcRelProjectsElement FOR RelatingElement	Projection relationship that adds a feature (using a Boolean union) to the IfcBuildingElement.
	HasOpenings	SET [0:?] OF IfcRelVoidsElement FOR RelatingBuildingElement	Reference to the IfcRelVoidsElement relationship that creates an opening in an element. An element can incorporate zero-to-many openings. For each opening, that voids the element, a new relationship IfcRelVoidsElement is generated.
	IsConnectionRealization	SET [0:?] OF IfcRelConnectsWithRealizingElements FOR RealizingElements	Reference to the connection relationship with realizing element. The relationship, if provided, assigns this element as the realizing element to the connection, which provides the physical manifestation of the connection relationship.
	ProvidesBoundaries	SET [0:?] OF IfcRelSpaceBoundary FOR RelatedBuildingElement	Reference to space boundaries by virtue of the objectified relationship IfcRelSpaceBoundary. It defines the concept of an element bounding spaces.
	ConnectedFrom	SET [0:?] OF IfcRelConnectsElements FOR RelatedElement	Reference to the element connection relationship. The relationship then refers to the other element that is connected to this element.
	ContainedInStructure	SET [0:1] OF IfcRelContainedInSpatialStructure FOR RelatedElements	Containment relationship to the spatial structure element, to which the element is primarily associated. This containment relationship has to be hierarchical, i.e. an element may only be assigned directly to zero or one spatial structure.
	HasCoverings	SET [0:?] OF IfcRelCoversBldgElements FOR RelatingBuildingElement	Reference to IfcCovering by virtue of the objectified relationship IfcRelCoversBldgElement. It defines the concept of an element having coverings associated.
	HasSurfaceFeatures	SET [0:?] OF IfcRelAdheresToElement FOR RelatingElement	Reference to the IfcRelAdheresToElement relationship that adheres a IfcSurfaceFeature to an element. An element can incorporate zero-to-many surface features in one relationship.
Click to show 34 hidden inherited attributes Click to hide 34 inherited attributes
IfcCovering (3)
9	PredefinedType	OPTIONAL IfcCoveringTypeEnum	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	SET [0:1] OF IfcRelCoversSpaces FOR RelatedCoverings	Reference to the objectified relationship that handles the relationship of the covering to the covered space.
	CoversElements	SET [0:1] OF IfcRelCoversBldgElements FOR RelatedCoverings	Reference to the objectified relationship that handles the relationship of the covering to the covered element. IFC4-CHANGE Renamed into CoversElements for consistency.

Table 6.1.3.12.H

6.1.3.12.4 Formal propositions

Name	Description
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.
`NOT(EXISTS(PredefinedType)) OR (PredefinedType <> IfcCoveringTypeEnum.USERDEFINED) OR ((PredefinedType = IfcCoveringTypeEnum.USERDEFINED) AND EXISTS (SELF\IfcObject.ObjectType))`
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.
`(SIZEOF(IsTypedBy) = 0) OR ('IFC4X3.IFCCOVERINGTYPE' IN TYPEOF(SELF\IfcObject.IsTypedBy[1].RelatingType))`

Table 6.1.3.12.I

6.1.3.12.5 Property sets

Pset_Condition
- AssessmentDate
- AssessmentCondition
- AssessmentDescription
- AssessmentType
- AssessmentMethod
- LastAssessmentReport
- NextAssessmentDate
- AssessmentFrequency
Pset_ConstructionAdministration
- ProcurementMethod
- SpecificationSectionNumber
- SubmittalIdentifer
Pset_ConstructionOccurance
- InstallationDate
- ModelNumber
- TagNumber
- AssetIdentifier
Pset_CoveringCommon
- Reference
- Status
- AcousticRating
- FlammabilityRating
- FragilityRating
- Combustible
- SurfaceSpreadOfFlame
- Finish
- IsExternal
- ThermalTransmittance
- FireRating
Pset_CoveringFlooring FLOORING
- HasNonSkidSurface
- HasAntiStaticSurface
Pset_CoveringTypeMembrane MEMBRANE
- NominalInstallationDepth
- NominalTransverseInclination
Pset_ElementKinematics
- CyclicPath
- CyclicRange
- LinearPath
- LinearRange
- MaximumAngularVelocity
- MaximumConstantSpeed
- MinimumTime
Pset_ElementKinematics
- CyclicPath
- CyclicRange
- LinearPath
- LinearRange
- MaximumAngularVelocity
- MaximumConstantSpeed
- MinimumTime
Pset_EnvironmentalCondition
- ReferenceAirRelativeHumidity
- ReferenceEnvironmentTemperature
- MaximumAtmosphericPressure
- StorageTemperatureRange
- MaximumWindSpeed
- OperationalTemperatureRange
- MaximumRainIntensity
- SaltMistLevel
- SeismicResistance
- SmokeLevel
- MaximumSolarRadiation
Pset_EnvironmentalImpactIndicators
- Reference
- FunctionalUnitReference
- IndicatorsUnit
- LifeCyclePhase
- ExpectedServiceLife
- TotalPrimaryEnergyConsumptionPerUnit
- WaterConsumptionPerUnit
- HazardousWastePerUnit
- NonHazardousWastePerUnit
- ClimateChangePerUnit
- AtmosphericAcidificationPerUnit
- RenewableEnergyConsumptionPerUnit
- NonRenewableEnergyConsumptionPerUnit
- ResourceDepletionPerUnit
- InertWastePerUnit
- RadioactiveWastePerUnit
- StratosphericOzoneLayerDestructionPerUnit
- PhotochemicalOzoneFormationPerUnit
- EutrophicationPerUnit
Pset_EnvironmentalImpactValues
- TotalPrimaryEnergyConsumption
- WaterConsumption
- HazardousWaste
- NonHazardousWaste
- ClimateChange
- AtmosphericAcidification
- RenewableEnergyConsumption
- NonRenewableEnergyConsumption
- ResourceDepletion
- InertWaste
- RadioactiveWaste
- StratosphericOzoneLayerDestruction
- PhotochemicalOzoneFormation
- Eutrophication
- LeadInTime
- Duration
- LeadOutTime
Pset_InstallationOccurrence
- InstallationDate
- AcceptanceDate
- PutIntoOperationDate
Pset_MaintenanceStrategy
- AssetCriticality
- AssetFrailty
- AssetPriority
- MonitoringType
- AccidentResponse
Pset_MaintenanceTriggerCondition
- ConditionTargetPerformance
- ConditionMaintenanceLevel
- ConditionReplacementLevel
- ConditionDisposalLevel
Pset_MaintenanceTriggerDuration
- DurationTargetPerformance
- DurationMaintenanceLevel
- DurationReplacementLevel
- DurationDisposalLevel
Pset_MaintenanceTriggerPerformance
- TargetPerformance
- PerformanceMaintenanceLevel
- ReplacementLevel
- DisposalLevel
Pset_ManufacturerOccurrence
- AcquisitionDate
- BarCode
- SerialNumber
- BatchReference
- AssemblyPlace
- ManufacturingDate
Pset_ManufacturerTypeInformation
- GlobalTradeItemNumber
- ArticleNumber
- ModelReference
- ModelLabel
- Manufacturer
- ProductionYear
- AssemblyPlace
- OperationalDocument
- SafetyDocument
- PerformanceCertificate
Pset_RepairOccurrence
- RepairContent
- RepairDate
- MeanTimeToRepair
Pset_Risk
- RiskName
- RiskType
- NatureOfRisk
- RiskAssessmentMethodology
- UnmitigatedRiskLikelihood
- UnmitigatedRiskConsequence
- UnmitigatedRiskSignificance
- MitigationPlanned
- MitigatedRiskLikelihood
- MitigatedRiskConsequence
- MitigatedRiskSignificance
- MitigationProposed
- AssociatedProduct
- AssociatedActivity
- AssociatedLocation
Pset_ServiceLife
- ServiceLifeDuration
- MeanTimeBetweenFailure
Pset_Tiling
- Permeability
- TileLength
- TileWidth
Pset_Tolerance
- ToleranceDescription
- ToleranceBasis
- OverallTolerance
- HorizontalTolerance
- OrthogonalTolerance
- VerticalTolerance
- PlanarFlatness
- HorizontalFlatness
- ElevationalFlatness
- SideFlatness
- OverallOrthogonality
- HorizontalOrthogonality
- OrthogonalOrthogonality
- VerticalOrthogonality
- OverallStraightness
- HorizontalStraightness
- OrthogonalStraightness
- VerticalStraightness
Pset_Uncertainty
- UncertaintyBasis
- UncertaintyDescription
- HorizontalUncertainty
- LinearUncertainty
- OrthogonalUncertainty
- VerticalUncertainty
Pset_Warranty
- WarrantyIdentifier
- WarrantyStartDate
- IsExtendedWarranty
- WarrantyPeriod
- WarrantyContent
- PointOfContact
- Exclusions
Qto_BodyGeometryValidation
- GrossSurfaceArea
- NetSurfaceArea
- GrossVolume
- NetVolume
- SurfaceGenusBeforeFeatures
- SurfaceGenusAfterFeatures
Qto_CoveringBaseQuantities
- Width
- GrossArea
- NetArea

6.1.3.12.6 Concept usage

Brep representation — Figure 6.1.3.12.A — Building element body boundary representation

surface model — Figure 6.1.3.12.A — Building element body boundary representation

Concept	Usage	Description
IfcRoot (2)
Revision Control	General	Ownership, history, and merge state is captured using IfcOwnerHistory.
Software Identity	General	IfcRoot assigns the globally unique ID. In addition it may provide for a name and a description about the concept.
IfcObjectDefinition (9)
Aggregation	General	No description available.
Approval Association	General	No description available.
Classification Association	General	Any object occurrence or object type can have a reference to a specific classification reference, i.e. to a particular facet within a classification system.
Constraint Association	General	No description available.
Document Association	General	No description available.
Library Association	General	No description available.
Material Association	General	No description available.
Material Single	General	No description available.
Nesting	General	No description available.
IfcObject (5)
Assignment to Group	General	No description available.
Object Predefined Type	General	No description available.
Object Typing	General	Any object occurrence can be typed by being assigned to a common object type utilizing this concept. A particular rule, restricting the applicable subtypes of IfcTypeObject that can be assigned, is introduced by overriding this concept at the level of subtypes of IfcObject. This concept can be applied to the following resources: IfcTypeObject
Object User Identity	General	An attribute Name and optionally Description can be used for all subypes of IfcObject. For those subtypes, that have an object type definition, such as ifcBeam - IfcBeamType, the common Name and optionally Description is associated with the object type.
Property Sets with Override	General	Any object occurrence can hold property sets, either directly at the object occurrence as element specific property sets, or at the object type, as type property sets. In this case, the properties that are provided to the object occurrence are the combinations of element specific and type properties. In case, that the same property (within the same property set, is defined both, in occurrence and type properties, the property value of the occurrence property overrides the property value of the type property.
IfcProduct (17)
Body Geometry	General	The body or solid model geometric representation of an IfcProduct is typically defined using a Tessellation or Brep. Subtypes may provide recommendations on other representation types that may be used. The following attribute values for the IfcShapeRepresentation holding this geometric representation shall be used: IfcShapeRepresentation.RepresentationIdentifier = 'Body' IfcShapeRepresentation.RepresentationType = Typically 'Tessellation' or 'Brep'
Box Geometry	General	No description available.
CoG Geometry	General	No description available.
Mapped Geometry	General	No description available.
Product Geometric Representation	General	The geometric representation of any IfcProduct is provided by the IfcProductDefinitionShape allowing multiple geometric representations. It uses the Product Placement concept utilizing IfcLocalPlacement to establish an object coordinate system, within all geometric representations are founded. NOTE A detailed specification of how to apply the local placement and which shape representaions are applicable is provided at the level of subtypes of IfcProduct and is further determined by the model view definition and implementer agreements.
Product Geometry Colour	General	No description available.
Product Geometry Layer	General	No description available.
Product Local Placement	General	No description available.
Product Relative Positioning	General	If the IfcProduct Product Placement is placed relative to an IfcPositioningElement this relationship covers the information on which IfcPositioningElement positions the IfcProduct.
Product Span Positioning	General	No description available.
Product Topology Representation	General	No description available.
Property Sets for Objects	General	This concept can be applied to the following resources: Pset_Risk Pset_Tolerance Pset_Uncertainty
Quantity Sets	General	This concept can be applied to the following resources: Qto_BodyGeometryValidation
Reference Geometry	General	No description available.
Reference SweptSolid Geometry	General	No description available.
Reference SweptSolid PolyCurve Geometry	General	No description available.
Reference Tessellation Geometry	General	No description available.
IfcElement (45)
Body AdvancedBrep Geometry	General	An IfcElement (so far no further constraints are defined at the level of its subtypes or by view definitions) may be represented as a single or multiple boundary representation models, which include advanced surfaces, usually refered to as NURBS surfaces. The 'AdvancedBrep' representation allows for the representation of complex free-form element shape. NOTE View definitions or implementer agreements may restrict or disallow the use of 'AdvancedBrep' geometry.
Body AdvancedSwept Directrix Geometry	General	No description available.
Body AdvancedSwept DiskSolid PolyCurve Geometry	General	No description available.
Body AdvancedSwept Tapered Geometry	General	No description available.
Body AdvancedSweptSolid Geometry	General	No description available.
Body Brep Geometry	General	Any IfcElement (so far no further constraints are defined at the level of its subtypes) may be represented as a single or multiple Boundary Representation models (which are restricted to be faceted Brep's with or without voids). The Brep representation allows for the representation of complex element shape. Figure 6.1.3.12.A — Building element body boundary representation EXAMPLE As shown in Figure 6.1.3.12.A, the Brep representation is given by an IfcShapeRepresentation, which includes one or more items, all of type IfcFacetedBrep. In some cases it may be useful to also expose a simple representation as a bounding box representation of the same complex shape.
Body CSG Geometry	General	Any IfcElement (so far no further constraints are defined at the level of its subtypes) may be represented a CSG primitive or CSG tree. The CSG representation allows for the representation of complex element shape. NOTE View definitions or implementer agreements may restrict or disallow the use of 'CSG' geometry.
Body Clipping Geometry	General	No description available.
Body SectionedSolidHorizontal	General	No description available.
Body SurfaceModel Geometry	General	Any IfcElement (so far no further constraints are defined at the level of its subtypes) may be represented as a single or multiple surface models, based on either shell or face based surface models. It may also include tessellated models. Figure 6.1.3.12.B — Element surface model representation EXAMPLE As shown in Figure 1, the surface model representation is given by an IfcShapeRepresentation, which includes a single item which is either an IfcShellBasedSurfaceModel, or an IfcFaceBasedSurfaceModel. In some cases it may also be useful to expose a simple representation as a bounding box representation of the same complex shape.
Body SurfaceOrSolidModel Geometry	General	Any IfcElement (so far no further constraints are defined at the level of its subtypes) may be represented as a mixed representation, including surface and solid models.
Body SweptSolid Composite Geometry	General	No description available.
Body SweptSolid CompositeCurve Geometry	General	No description available.
Body SweptSolid Geometry	General	No description available.
Body SweptSolid ParameterizedProfile Geometry	General	No description available.
Body SweptSolid PolyCurve Geometry	General	No description available.
Body Tessellation Geometry	Reference View	Any IfcElement (so far no further constraints are defined at the level of its subtypes) may be represented as a single or multiple tessellated surface models, in particular triangulated surface models.
Box Geometry	General	This is a further elaboration on an inherited concept. Figure 6.1.3.12.C — Building element box representation EXAMPLE Any IfcElement may be represented by a bounding box, which shows the maximum extend of the body within the object coordinate system established by the IfcObjectPlacement. As shown in Figure 6.1.3.12.C, the bounding box representation is given by an IfcShapeRepresentation that includes a single item, an IfcBoundingBox.
CoG Geometry	General	This is a further elaboration on an inherited concept. The 'CoG', Center of Gravity, shape representation is used as a means to verify the correct import by comparing the CoG of the imported geometry with the explicily provided CoG created during export.
Element Covering	General	No description available.
Element Interference	General	No description available.
Element Nesting	General	A host element can nest connected components. This should be used when there is a specific position or form factor to attach specific elements. EXAMPLE A sink has a pre-drilled hole to attach a faucet.
Element Occurrence Attributes	General	No description available.
Element Openings	General	No description available.
Element Projecting	General	No description available.
Element Voiding	General	No description available.
Element Voiding Features	General	No description available.
FootPrint Annotation Geometry	General	No description available.
FootPrint GeomSet PolyCurve Geometry	General	No description available.
FootPrint Geometry	General	No description available.
Lighting Geometry	General	No description available.
Mapped Geometry	General	This is a further elaboration on an inherited concept. Any IfcElement (so far no further constraints are defined at the level of its subtypes) may be represented using the 'MappedRepresentation'. This shall be supported as it allows for reusing the geometry definition of a type at all occurrences of the same type. The results are more compact data sets. The same constraints, as given for 'SurfaceOrSolidModel', 'SurfaceModel', 'Tessellation', 'Brep', and 'AdvancedBrep' geometric representation, shall apply to the IfcRepresentationMap.
Object Typing	General	This concept can be applied to the following resources: IfcElementType
Product Grid Placement	General	No description available.
Product Linear Placement	General	Product placement with a Product Linear Placement template. It defines the local coordinate system based on the curve which is referenced by IfcLinearPlacement.RelativePlacement which is an IfcAxis2PlacementLinear.Location using an IfcPointByDistanceExpression.BasisCurve. The local coordinate system is based on the tangent of the curve at Location, its normal in the global Z plane and the cross product of the aforementioned vectors.
Product Local Placement	General	This is a further elaboration on an inherited concept. The object placement for any subtype of IfcElement is defined by the IfcObjectPlacement, either IfcLocalPlacement or IfcGridPlacement, which defines the local object coordinate system that is referenced by all geometric representations of that IfcElement.
Profile 3D Geometry	General	No description available.
Profile Geometry	General	No description available.
Property Sets for Objects	General	This concept can be applied to the following resources: Pset_Condition Pset_InstallationOccurrence Pset_MaintenanceStrategy Pset_MaintenanceTriggerCondition Pset_MaintenanceTriggerDuration Pset_MaintenanceTriggerPerformance Pset_RepairOccurrence Pset_ConstructionAdministration Pset_ConstructionOccurance Pset_ElementKinematics Pset_ElementKinematics Pset_EnvironmentalCondition Pset_EnvironmentalImpactIndicators Pset_EnvironmentalImpactValues Pset_ManufacturerOccurrence Pset_ManufacturerTypeInformation Pset_ServiceLife Pset_Warranty
Spatial Containment	General	This concept can be applied to the following resources: IfcSpatialElement
Surface 3D Geometry	General	No description available.
Surface Feature Adherence	General	No description available.
Surface Geometry	General	No description available.
Surface Sectioned Geometry	General	No description available.
Surface Tessellation Geometry	General	No description available.
IfcBuiltElement (3)
Object Typing	General	This concept can be applied to the following resources: IfcBuiltElementType
Product Assignment	General	This concept can be applied to the following resources: IfcTask
Surface 3D Geometry	General	This is a further elaboration on an inherited concept. Some IfcBuildingElement may be represented by an surface as an abstract geometric representation. See each subtype for specific guidance.
Click to show 81 hidden inherited concepts Click to hide 81 inherited concepts
IfcCovering (9)
Body SweptSolid Geometry	General	This is a further elaboration on an inherited concept. The following additional constraints apply to the 'SweptSolid' representation of IfcCovering: for planar base surfaces - swept area representation for cylindrical base surfaces - swept area representation Figure 6.1.3.12.D — Covering body planar EXAMPLE Figure 6.1.3.12.D illustrates a body representation where the volume of IfcCovering is given by an IfcExtrudedAreaSolid for planar base surfaces (here given by the IfcRelSpaceBoundary). The extruded area (IfcArbitraryClosedProfileDef) shall be coplanar to the surface defined by the IfcRelSpaceBoundary. Figure 6.1.3.12.E — Covering body circular EXAMPLE Figure 6.1.3.12.E illustrates a body representation where the volume of the IfcCovering is given by an IfcExtrudedAreaSolid for cylindrical base surfaces (here given by the IfcRelSpaceBoundary - such as caused by a round wall).
Material Layer Set Usage	General	No description available.
Material Profile Set Usage	General	No description available.
Material Set	General	Coverings for surfaces (CEILING, FLOORING, CLADDING, CEILING, ROOFING) may have materials defined according to layers. Coverings for edges (MOLDING, SKIRTINGBOARD) may have materials defined according to profiles. This concept can be applied to the following resources: Front - Optional front-facing material of layer-based coverings such as drywall paper. Fill - The solid material of layer-based coverings such as drywall gypsum. Back - Optional back-facing material of layer-based coverings such as drywall paper. Trim - Profile of trim such as crown molding or base molding. Lining Finish
Object Typing	General	This is a further elaboration on an inherited concept. This concept can be applied to the following resources: IfcCoveringType
Property Sets for Objects	General	This is a further elaboration on an inherited concept. This concept can be applied to the following resources: Pset_CoveringCommon Pset_CoveringFlooring (only applies to `FLOORING)` Pset_CoveringTypeMembrane (only applies to `MEMBRANE)` Pset_Tiling
Quantity Sets	General	This concept can be applied to the following resources: Qto_CoveringBaseQuantities
Spatial Containment	General	This is a further elaboration on an inherited concept. The IfcCovering has a containment relationship within the hierarchical spatial structure. The IfcCovering is places within the project spatial hierarchy using the objectified relationship IfcRelContainedInSpatialStructure, referring to it by its inverse attribute SELF\IfcElement.ContainedInStructure. Subtypes of IfcSpatialStructureElement are valid spatial containers, with IfcSpace being the default container.
Surface Geometry	General	This is a further elaboration on an inherited concept. The following additional constraints apply to the 'GeometricSet' representation of IfcCovering: for planar base surfaces - bounded surface representation for cylindrical base surfaces - swept surface representation Figure 6.1.3.12.F — Covering surface planar EXAMPLE Figure 6.1.3.12.F illustrates a planar surface representation where the area of IfcCovering is given by an IfcPolyLoop for planar base surfaces (here provided by the IfcRelSpaceBoundary). The implicit planar surface of the IfcPolyLoop shall be identical with the planar surface defined by the IfcRelSpaceBoundary. Figure 6.1.3.12.G — Covering surface cylindrical EXAMPLE Figure 6.1.3.12.G illustrates a cylindrical surface representation where the area of the IfcCovering is given by an IfcSurfaceOfLinearExtrusion for cylindrical base surfaces (here given by the IfcRelSpaceBoundary, such as caused by a round wall).

6.1.3.12.7 Formal representation

ENTITY IfcCovering
 SUBTYPE OF (IfcBuiltElement);
	PredefinedType : OPTIONAL IfcCoveringTypeEnum;
 INVERSE
	CoversSpaces : SET [0:1] OF IfcRelCoversSpaces FOR RelatedCoverings;
	CoversElements : SET [0:1] OF IfcRelCoversBldgElements 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
  ('IFC4X3.IFCCOVERINGTYPE' IN TYPEOF(SELF\IfcObject.IsTypedBy[1].RelatingType));
END_ENTITY;