7.1.3.1 IfcDoorLiningProperties（门框属性）
7.1.3.1.1 语义定义
门框是用于固定门扇的外部框架。门框用于悬挂门扇。门框的参数定义了门框在几何上的相关参数。
IfcDoorLiningProperties 包含在 IfcDoorType 的 HasPropertySets 属性列表中。有关门框的更多信息，可使用另一个 IfcPropertySet 在 IfcDoorType 的同一列表中进行动态扩展。
IfcDoorLiningProperties 本身不包含几何表示。但是，它定义了可用于创建门类型形状的参数（该形状由 IfcDoor 插入到项目的空间上下文中），如下所述。IfcDoorLiningProperties 的参数定义了一个标准的门框，包括（如果给定）门槛和横梁。门框的外边界由分配给 IfcDoor 的“轮廓”形状表示确定，该轮廓由 IfcDoorType 插入。
门框应用于门洞侧边和顶部的内口。参数如下。
- LiningDepth（门框深度），如果省略，则等于墙厚 - 仅当给定了 LiningThickness（门框厚度）值时才生效。如果两个参数均未给出，则表示没有门框。
- LiningThickness（门框厚度）。
- LiningToPanelOffsetX（门框到门扇的 X 轴偏移）。
- LiningToPanelOffsetY（门框到门扇的 Y 轴偏移）。
门框只能覆盖门洞内口的一部分。
相关参数如下：
- LiningOffset（门框偏移），当门框边缘相对于局部坐标系的 X 轴有偏移时给出。
门框可包含门套线（casing），覆盖门洞周围墙体表面的部分。门套线覆盖墙体两侧门框的左侧、右侧和顶部。参数如下：
- CasingDepth（门套线深度），
- CasingThickness（门套线厚度）。
门框可包含一个门槛，它覆盖门洞的底部。参数如下。
- ThresholdDepth（门槛深度），如果省略，则等于墙厚 - 仅当给定了 ThresholdThickness（门槛厚度）值时才生效。如果两个参数均未给出，则表示没有门槛。
- ThresholdThickness（门槛厚度）。
- ThresholdOffset（门槛偏移）（图中未显示），当门槛边缘相对于局部坐标系的 X 轴有偏移时给出。
门框可有一个横梁，用于分隔门扇和上方的窗扇。横梁（如果给定）由以下参数定义：
- TransomOffset（横梁偏移），与局部坐标系 X 轴平行的边缘，
- TransomThickness（横梁厚度）。
横梁的深度与门框的深度相同，不作为单独的参数给出。
7.1.3.1.2 实体继承
7.1.3.1.3 特性
| # | 特性 | 类型 | 描述 |
|---|---|---|---|
| IfcRoot (4) | |||
| 1 | GlobalId | IfcGloballyUniqueId |
在整个软件世界中分配全局唯一标识符。 |
| 2 | OwnerHistory | OPTIONAL IfcOwnerHistory |
分配有关该对象当前所有权的信息，包括所有者参与者、应用程序、本地标识以及捕获到的关于对象近期更改的信息。 |
| 3 | Name | OPTIONAL IfcLabel |
供参与的软件系统或用户使用的可选名称。对于某些 IfcRoot 的子类型，可要求插入 Name 特性。这将通过 where 规则强制执行。 |
| 4 | Description | OPTIONAL IfcText |
可选的描述，用于提供信息性注释。 |
| IfcPropertyDefinition (2) | |||
| HasContext | SET [0:1] OF IfcRelDeclares FOR RelatedDefinitions |
引用 IfcRelDeclares 关系，从而引用 IfcProject 或 IfcProjectLibrary。 |
|
| HasAssociations | SET [0:?] OF IfcRelAssociates FOR RelatedObjects |
引用 IfcRelAssociates 关系，从而引用那些外部定义的概念，如分类、文档或库信息，这些概念与属性定义相关联。 |
|
| IfcPropertySetDefinition (3) | |||
| DefinesType | SET [0:?] OF IfcTypeObject FOR HasPropertySets |
属性集分配到的类型对象。该属性集充当类型对象的所有实例的共享属性集。 {} |
|
| IsDefinedBy | SET [0:?] OF IfcRelDefinesByTemplate FOR RelatedPropertySets |
通过对象化关系 IfcRelDefinesByTemplate 与属性集模板的关系，如果给定，则为属性集或数量集及其属性提供定义模板。 {} |
|
| DefinesOccurrence | SET [0:?] OF IfcRelDefinesByProperties FOR RelatingPropertyDefinition |
引用与一个或多个对象实例的关系，这些对象实例的特征由属性集定义定义。能使用对象化关系 IfcRelDefinesByProperties 将单个属性集分配给多个对象实例。 {} |
|
| 点击显示 9 个隐藏的继承特性 点击隐藏 9 个继承特性 | |||
| IfcDoorLiningProperties (13) | |||
| 5 | LiningDepth | OPTIONAL IfcPositiveLengthMeasure |
门框的深度，垂直于门框平面测量。如果省略（并给定了门框厚度值），则表示可调深度（即，深度根据门样式所在的墙体厚度进行调整）。 |
| 6 | LiningThickness | OPTIONAL IfcNonNegativeLengthMeasure |
门框的厚度，如图 7.1.3.1.A 所示。如果 LiningThickness 值为 0（零），则表示没有门框的门（在这种情况下，所有其他门框参数应设置为 NIL）。如果 LiningThickness 为 NIL，则表示信息不可用。 |
| 7 | ThresholdDepth | OPTIONAL IfcPositiveLengthMeasure |
门槛的深度（垂直于门扇平面的尺寸）。仅当门框包含门槛时给出。如果省略（并给定了门槛厚度值），则表示可调深度（即，深度根据门样式所在的墙体厚度进行调整）。 |
| 8 | ThresholdThickness | OPTIONAL IfcNonNegativeLengthMeasure |
门槛的厚度，如图 7.1.3.1.D 所示。如果 ThresholdThickness 值为 0（零），则表示没有门槛的门（在这种情况下，ThresholdDepth 应设置为 NIL）。如果 ThresholdThickness 为 NIL，则表示信息不可用。 |
| 9 | TransomThickness | OPTIONAL IfcNonNegativeLengthMeasure |
横梁的厚度（平行于门扇平面的宽度）（如果提供 - 即，如果设置了 TransomOffset 特性），它分隔门扇和上方的玻璃（或窗户）。如果 TransomThickness 设置为零（并且 TransomOffset 设置为正长度），则门垂直分隔为扇区和横梁窗区，没有物理框架。 |
| 10 | TransomOffset | OPTIONAL IfcLengthMeasure |
横梁的偏移（如果给定），它分隔门扇和上方的玻璃（或窗户）。偏移量从门洞底部给出。 |
| 11 | LiningOffset | OPTIONAL IfcLengthMeasure |
门框的偏移（垂直于门扇平面的尺寸）。偏移量是相对于局部坐标系 X 轴的距离。 |
| 12 | ThresholdOffset | OPTIONAL IfcLengthMeasure |
门槛的偏移（垂直于门扇平面的尺寸）。偏移量是相对于局部坐标系 X 轴的距离。仅当门框包含门槛且参数已知时给出。 |
| 13 | CasingThickness | OPTIONAL IfcPositiveLengthMeasure |
门套线的厚度（门扇平面内的尺寸）。如果给出，则均等地应用于相邻墙体的所有四个侧面。 |
| 14 | CasingDepth | OPTIONAL IfcPositiveLengthMeasure |
门套线的深度（垂直于门扇平面内的尺寸）。如果给出，则均等地应用于相邻墙体的所有四个侧面。 |
| 15 | ShapeAspectStyle | OPTIONAL IfcShapeAspect |
指向形状方面（shape aspect）的指针，如果给定。形状方面对应于门形状中代表门框的部分。 |
| 16 | LiningToPanelOffsetX | OPTIONAL IfcLengthMeasure |
门框与门扇之间沿局部坐标系 X 轴测量的偏移。 |
| 17 | LiningToPanelOffsetY | OPTIONAL IfcLengthMeasure |
门框与门扇之间沿局部坐标系 Y 轴测量的偏移。 |
7.1.3.1.4 形式化命题
| 名称 | 描述 |
|---|---|
| WR31 |
要么同时给出参数 LiningDepth 和 LiningThickness，要么只给出 LiningThickness，此时 LiningDepth 是可变的。只断言 LiningDepth 是无效的。 |
|
|
| WR32 |
要么同时给出参数 ThresholdDepth 和 ThresholdThickness，要么只给出 ThresholdThickness，此时 ThresholdDepth 是可变的。只断言 ThresholdDepth 是无效的。 |
|
|
| WR33 |
要么同时给出参数 TransomDepth 和 TransomThickness，要么都不给出。 |
|
|
| WR34 |
要么同时给出参数 CasingDepth 和 CasingThickness，要么都不给出。 |
|
|
| WR35 |
IfcDoorLiningProperties 应仅在 IfcDoorType 的上下文中进行使用。 |
|
|
7.1.3.1.5 概念用法
| 概念 | 用法 | 描述 | |
|---|---|---|---|
| IfcRoot (2) | |||
| Revision Control（版本控制） | 通用用法 |
使用 IfcOwnerHistory 捕获所有权、历史记录和合并状态。 |
|
| Software Identity（软件标识） | 通用用法 |
IfcRoot 分配全局唯一 ID。此外，它还可为概念提供名称和描述。 |
|
| 点击显示 2 个隐藏的继承概念 点击隐藏 2 个继承概念 | |||
7.1.3.1.6 形式化表示
ENTITY IfcDoorLiningProperties
SUBTYPE OF (IfcPreDefinedPropertySet);
LiningDepth : OPTIONAL IfcPositiveLengthMeasure;
LiningThickness : OPTIONAL IfcNonNegativeLengthMeasure;
ThresholdDepth : OPTIONAL IfcPositiveLengthMeasure;
ThresholdThickness : OPTIONAL IfcNonNegativeLengthMeasure;
TransomThickness : OPTIONAL IfcNonNegativeLengthMeasure;
TransomOffset : OPTIONAL IfcLengthMeasure;
LiningOffset : OPTIONAL IfcLengthMeasure;
ThresholdOffset : OPTIONAL IfcLengthMeasure;
CasingThickness : OPTIONAL IfcPositiveLengthMeasure;
CasingDepth : OPTIONAL IfcPositiveLengthMeasure;
ShapeAspectStyle : OPTIONAL IfcShapeAspect;
LiningToPanelOffsetX : OPTIONAL IfcLengthMeasure;
LiningToPanelOffsetY : OPTIONAL IfcLengthMeasure;
WHERE
WR31 : NOT(EXISTS(LiningDepth) AND NOT(EXISTS(LiningThickness)));
WR32 : NOT(EXISTS(ThresholdDepth) AND NOT(EXISTS(ThresholdThickness)));
WR33 : (EXISTS(TransomOffset) AND EXISTS(TransomThickness)) XOR
(NOT(EXISTS(TransomOffset)) AND NOT(EXISTS(TransomThickness)));
WR34 : (EXISTS(CasingDepth) AND EXISTS(CasingThickness)) XOR
(NOT(EXISTS(CasingDepth)) AND NOT(EXISTS(CasingThickness)));
WR35 : (EXISTS(SELF\IfcPropertySetDefinition.DefinesType[1]))
AND
('IFC4X3_DEV_62887e3f.IFCDOORTYPE' IN TYPEOF(SELF\IfcPropertySetDefinition.DefinesType[1]));
END_ENTITY;