IFC 4.3.0.0 (IFC4X3) final

6.1.3.30 IfcRelCoversSpaces

6.1.3.30.1 Semantic definition

The objectified relationship, IfcRelCoversSpace, relates a space object to one or many coverings, which faces (or is assigned to) the space.

The IFC specification provides two relationships:

Whether the relationship between the covering and the space, or between the covering and the element, is regarded as primary, has to be determined within the context of a model view definition.

6.1.3.30.2 Entity inheritance

6.1.3.30.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,

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.

Click to show 4 hidden inherited attributes Click to hide 4 inherited attributes
IfcRelCoversSpaces (2)
5 RelatingSpace IfcSpace

Relationship to the space object that is covered.

6 RelatedCoverings SET [1:?] OF IfcCovering

Relationship to the set of coverings covering that cover surfaces of this space.

Table 6.1.3.30.A

6.1.3.30.4 Concept usage

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.

Click to show 2 hidden inherited concepts Click to hide 2 inherited concepts
Table 6.1.3.30.B

6.1.3.30.5 Formal representation

ENTITY IfcRelCoversSpaces
 SUBTYPE OF (IfcRelConnects);
	RelatingSpace : IfcSpace;
	RelatedCoverings : SET [1:?] OF IfcCovering;
END_ENTITY;

6.1.3.30.6 References

6.1.3.30.7 Changelog

  • attributes RelatedSpace name, Changed from RelatedSpace to RelatingSpace
  • deprecated, Changed from False to True
  • deprecated, Changed from True to False