5.4.3.62 IfcRelVoidsElement（关系掏空构件）
RV ⓘ
AbV ⓘ
5.4.3.62.1 语义定义（Semantic definition）
IfcRelVoidsElement 是建筑元素和一个开口元素之间的对象化关系，它在元素中创建一个空隙。它是一对一的关系。此关系暗示了元素和开口几何体之间的布尔减法运算。
如图 5.4.3.62.A 所示，在墙体中插入空隙由 IfcRelVoidsElement 关系表示。墙体中的开口由 IfcWall - IfcRelVoidsElement - IfcOpeningElement 的模式定义。
5.4.3.62.2 实体继承（Entity inheritance）
5.4.3.62.3 特性（Attributes）
| # | 特性（Attributes） | 类型 | 描述 |
|---|---|---|---|
| IfcRoot (4) | |||
| 1 | GlobalId | IfcGloballyUniqueId |
在整个软件世界中分配全局唯一标识符。 |
| 2 | OwnerHistory | OPTIONAL IfcOwnerHistory |
分配有关该对象当前所有权的信息，包括所有者参与者、应用程序、本地标识以及捕获到的关于对象近期更改的信息。 |
| 3 | Name | OPTIONAL IfcLabel |
供参与的软件系统或用户使用的可选名称。对于某些 IfcRoot 的子类型，可能需要插入 Name 特性。这将通过 where 规则强制执行。 |
| 4 | Description | OPTIONAL IfcText |
可选的描述，用于提供信息性注释。 |
| 点击显示 4 个隐藏的继承特性 点击隐藏 4 个继承特性 | |||
| IfcRelVoidsElement (2) | |||
| 5 | RelatingBuildingElement | IfcElement |
指向通过关联的特征减法元素创建空隙的元素的引用。 |
| 6 | RelatedOpeningElement | IfcFeatureElementSubtraction |
指向定义关联元素中空隙的特征减法元素的引用。 |
5.4.3.62.7 概念用法（Concept usage）
| 概念 | 用法 | 描述 | |
|---|---|---|---|
| IfcRoot (2) | |||
| Revision Control | General |
使用 IfcOwnerHistory 捕获所有权、历史记录和合并状态。 |
|
| Software Identity | General |
IfcRoot 分配全局唯一 ID。此外，它还可以为概念提供名称和描述。 |
|
| IfcRelationship (2) | |||
| Revision Control | General |
使用 IfcOwnerHistory 捕获所有权、历史记录和合并状态。 |
|
| Software Identity | General |
IfcRoot 分配全局唯一 ID。此外，它还可以为概念提供名称和描述。 |
|
| IfcRelDecomposes (2) | |||
| Revision Control | General |
使用 IfcOwnerHistory 捕获所有权、历史记录和合并状态。 |
|
| Software Identity | General |
IfcRoot 分配全局唯一 ID。此外，它还可以为概念提供名称和描述。 |
|
| 点击显示 6 个隐藏的继承概念 点击隐藏 6 个继承概念 | |||
| IfcRelVoidsElement (2) | |||
| Revision Control | General |
使用 IfcOwnerHistory 捕获所有权、历史记录和合并状态。 |
|
| Software Identity | General |
IfcRoot 分配全局唯一 ID。此外，它还可以为概念提供名称和描述。 |
|
5.4.3.62.8 形式化表示（Formal representation）
ENTITY IfcRelVoidsElement
SUBTYPE OF (IfcRelDecomposes);
RelatingBuildingElement : IfcElement;
RelatedOpeningElement : IfcFeatureElementSubtraction;
END_ENTITY;