5.4.3.62 IfcRelVoidsElement

5.4.3.62.1 Semantic definition

IfcRelVoidsElement is an objectified relationship between a building element and one opening element that creates a void in the element. It is a one-to-one relationship. This relationship implies a Boolean operation of subtraction between the geometric bodies of the element and the opening.

As shown in Figure 5.4.3.62.A, the insertion of a void into a wall is represented by the relationship IfcRelVoidsElement. The opening is created within the wall by IfcWall o-- IfcRelVoidsElement --o IfcOpeningElement.

5.4.3.62.5 Formal representation

ENTITY IfcRelVoidsElement
SUBTYPE OF (IfcRelDecomposes);
RelatingBuildingElement : IfcElement;
RelatedOpeningElement : IfcFeatureElementSubtraction;
END_ENTITY;