5.1.3.38 IfcRelDefinesByProperties（关联关系-按属性定义）

5.1.3.38.1 语义定义（Semantic definition）

对象化关系 IfcRelDefinesByProperties 定义了属性集定义与对象之间的关系。属性被聚合在属性集中。属性集可以通过此关系直接分配给实例对象，或者分配给对象类型并通过该类型分配给实例对象。IfcPropertySet 分配给 IfcTypeObject 不通过此对象化关系处理，而是通过 IfcTypeObject 上的直接关系 HasPropertySets 处理。

IfcRelDefinesByProperties 是一个 N 对 N 的关系，因为它允许将一个或多个属性集分配给一个或多个对象。这些对象然后共享相同的属性定义。

5.1.3.38.2 实体继承（Entity inheritance）

- IfcRoot

5.1.3.38.3 特性（Attributes）

#	特性（Attributes）	类型（Type）	描述（Description）
IfcRoot (4)
1	GlobalId	IfcGloballyUniqueId	在整个软件世界中分配全局唯一标识符。
2	OwnerHistory	OPTIONAL IfcOwnerHistory	分配有关该对象当前所有权的信息，包括所有者参与者、应用程序、本地标识以及捕获到的关于对象近期更改的信息。注释仅存储最后一次修改——无论是添加、删除还是修改。 IFC4 变更该特性已更改为 OPTIONAL。
3	Name	OPTIONAL IfcLabel	供参与的软件系统或用户使用的可选名称。对于某些 IfcRoot 的子类型，可能需要插入 Name 特性。这将通过 where 规则强制执行。
4	Description	OPTIONAL IfcText	可选的描述，用于提供信息性注释。
点击显示 4 个隐藏的继承特性点击隐藏 4 个继承特性
IfcRelDefinesByProperties (2)
5	RelatedObjects	SET [1:?] OF IfcObjectDefinition	指向属性定义适用的对象（或单个对象）的引用。 IFC4 变更数据类型从子类型 IfcObject 升级。
6	RelatingPropertyDefinition	IfcPropertySetDefinitionSelect	指向该对象或对象集的属性集定义的引用。

表 5.1.3.38.A

5.1.3.38.4 形式化命题（Formal propositions）

名称（Name）	描述（Description）
NoRelatedTypeObject	不得存在与 IfcTypeObject 类型相关的对象。注释 IfcTypeObject 与 IfcPropertySet 之间的关系通过 IfcTypeObject 上的直接关系 HasPropertySets 处理。
`SIZEOF(QUERY(Types <* SELF\IfcRelDefinesByProperties.RelatedObjects \| 'IFC4X3_DEV_62887e3f.IFCTYPEOBJECT' IN TYPEOF(Types))) = 0`

表 5.1.3.38.B

5.1.3.38.5 概念用法（Concept usage）

概念（Concept）	用法（Usage）	描述（Description）
IfcRoot (2)
Revision Control	General	使用 IfcOwnerHistory 捕获所有权、历史记录和合并状态。
Software Identity	General	IfcRoot 分配全局唯一 ID。此外，它还可以为概念提供名称和描述。
点击显示 2 个隐藏的继承概念点击隐藏 2 个继承概念

表 5.1.3.38.C

5.1.3.38.6 形式化表示（Formal representation）

ENTITY IfcRelDefinesByProperties
 SUBTYPE OF (IfcRelDefines);
	RelatedObjects : SET [1:?] OF IfcObjectDefinition;
	RelatingPropertyDefinition : IfcPropertySetDefinitionSelect;
 WHERE
	NoRelatedTypeObject : SIZEOF(QUERY(Types <* SELF\IfcRelDefinesByProperties.RelatedObjects |  'IFC4X3_DEV_62887e3f.IFCTYPEOBJECT' IN TYPEOF(Types))) = 0;
END_ENTITY;