5.1.3.24 IfcRelAssignsToGroup (关联到组)
5.1.3.24.1 语义定义（Semantic definition）
对象化的关系 IfcRelAssignsToGroup 处理对象定义（作为 IfcObject 子类型的单个对象实例，以及作为 IfcTypeObject 子类型的对象类型）到组（IfcGroup 的子类型）的分配。
该关系处理组成员到组对象的分配。它允许在组内对任意对象进行分组，包括其他组。分组关系可以以递归方式应用。结果组的类型为 IfcGroup。
继承的特性 RelatedObjects 提供了对对象的引用，这些对象是组内的元素。RelatingGroup 是包含所有元素的组。同一对象或对象类型可以包含在零个、一个或多个组中。分组关系不是分层的。
非正式命题
- 组分配关系应为非循环的，即，组不应参与其自身的分组关系。
5.1.3.24.2 实体继承（Entity inheritance）
5.1.3.24.3 特性（Attributes）
| # | 特性（Attributes） | 类型（Type） | 描述（Description） |
|---|---|---|---|
| IfcRoot (4) | |||
| 1 | GlobalId | IfcGloballyUniqueId |
在整个软件世界中分配全局唯一标识符。 |
| 2 | OwnerHistory | OPTIONAL IfcOwnerHistory |
分配有关该对象当前所有权的信息，包括所有者参与者、应用程序、本地标识以及捕获到的关于对象近期更改的信息。 |
| 3 | Name | OPTIONAL IfcLabel |
供参与的软件系统或用户使用的可选名称。对于某些 IfcRoot 的子类型，可能需要插入 Name 特性。这将通过 where 规则强制执行。 |
| 4 | Description | OPTIONAL IfcText |
可选的描述，用于提供信息性注释。 |
| IfcRelAssigns (2) | |||
| 5 | RelatedObjects | SET [1:?] OF IfcObjectDefinition |
相关对象，被分配给单个对象。单个（或相关）对象的类型在 IfcRelAssigns 的子类型中定义。 |
| 6 | RelatedObjectsType | OPTIONAL IfcStrippedOptional |
分配关系的特定类型。它可以约束适用对象类型，在 RelatedObjects 的角色中使用。 |
| 点击显示 6 个隐藏的继承特性 点击隐藏 6 个继承特性 | |||
| IfcRelAssignsToGroup (1) | |||
| 7 | RelatingGroup | IfcGroup |
引用包含所有已分配组成员的组。 |
5.1.3.24.4 形式化命题（Formal propositions）
| 名称（Name） | 描述（Description） |
|---|---|
| NoSelfReference |
关系指向的实例不应包含在 RelatedObjects 集合中。 |
|
|
5.1.3.24.5 概念用法（Concept usage）
| 概念（Concept） | 用法（Usage） | 描述（Description） | |
|---|---|---|---|
| IfcRoot (2) | |||
| Revision Control | General |
使用 IfcOwnerHistory 捕获所有权、历史记录和合并状态。 |
|
| Software Identity | General |
IfcRoot 分配全局唯一 ID。此外，它还可以为概念提供名称和描述。 |
|
| 点击显示 2 个隐藏的继承概念 点击隐藏 2 个继承概念 | |||
5.1.3.24.6 形式化表示（Formal representation）
ENTITY IfcRelAssignsToGroup
SUPERTYPE OF (ONEOF
(IfcRelAssignsToGroupByFactor))
SUBTYPE OF (IfcRelAssigns);
RelatingGroup : IfcGroup;
WHERE
NoSelfReference : SIZEOF(QUERY(Temp <* SELF\IfcRelAssigns.RelatedObjects | RelatingGroup :=: Temp)) = 0;
END_ENTITY;