7.1.3.4 IfcWindowLiningProperties（窗框属性）

弃用该定义将在标准的未来主版本中移除。

7.1.3.4.1 语义定义

窗框是用于固定窗户的外部框架。窗框用于固定窗扇或其他开启扇。IfcWindowLiningProperties 的参数定义了窗框在几何上的相关参数。

IfcWindowLiningProperties 包含在 IfcWindowType.HasPropertySets 的属性集中。有关窗框的更多信息，可使用另一个 IfcPropertySet 在 IfcWindowType 的同一属性集中进行动态扩展。

IfcWindowLiningProperties 不包含几何表示。但是，它定义了可用于创建窗户类型形状的参数（该形状由 IfcWindow 插入到项目的空间上下文中），如图 7.1.3.4.F 所示。IfcWindowLiningProperties 中的参数定义了一个标准的窗框，包括（如果给定）一个竖梃和一个横梁（用于水平和垂直分隔）。窗框的外边界由分配给 IfcWindow 的“轮廓”形状表示确定，该轮廓由 IfcWindowType 插入。

图示	OperationType	适用参数
图 7.1.3.4.A	All	LiningDepth（窗框深度）、LiningThickness（窗框厚度）、LiningOffset（窗框偏移）、LiningToPanelOffsetX（窗框到窗扇的 X 轴偏移）、LiningToPanelOffsetY（窗框到窗扇的 Y 轴偏移）（注意：内侧定义为窗扇开启操作的方向。）
图 7.1.3.4.B	DoublePanelVertical（双扇垂直，显示） TriplePanelBottom（三扇底部） TriplePanelTop（三扇顶部） TriplePanelLeft（三扇左侧） TriplePanelRight（三扇右侧）	MullionThickness（竖梃厚度）、FirstMullionOffset（第一个竖梃偏移）（沿 XZ 平面的 Z 轴测量，作为归一化比例度量）
图 7.1.3.4.C	DoublePanelHorizontal（双扇水平） TriplePanelBottom（三扇底部） TriplePanelTop（三扇顶部） TriplePanelLeft（三扇左侧） TriplePanelRight（三扇右侧）	TransomThickness（横梁厚度）、FirstTransomOffset（第一个横梁偏移）（沿 XZ 平面的 X 轴测量，作为归一化比例度量）
图 7.1.3.4.D	TriplePanelVertical（三扇垂直）	SecondMullionOffset（第二个竖梃偏移）（沿 XZ 平面的 Z 轴测量，作为归一化比例度量）
图 7.1.3.4.E	TriplePanelHorizontal（三扇水平）	SecondTransomOffset（第二个横梁偏移）（沿 XZ 平面的 X 轴测量，作为归一化比例度量）

7.1.3.4.2 实体继承

7.1.3.4.3 特性

#	特性	类型	描述
IfcRoot (4)
1	GlobalId	IfcGloballyUniqueId	在整个软件世界中分配全局唯一标识符。
2	OwnerHistory	OPTIONAL IfcOwnerHistory	分配有关该对象当前所有权的信息，包括所有者参与者、应用程序、本地标识以及捕获到的关于对象近期更改的信息。注释仅存储最后一次修改——无论是添加、删除还是修改。 IFC4 变更该特性已更改为 OPTIONAL。
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	属性集分配到的类型对象。该属性集充当类型对象的所有实例的共享属性集。注释 IfcPropertySetDefinition 与 IfcTypeObject 之间的关系是直接关系，未使用 IfcRelDefinesByProperties，以保持与本标准早期版本的兼容性。 {} IFC4 变更基数已从 0..1 更改为 0..n，具有基于文件交换的向上兼容性。
	IsDefinedBy	SET [0:?] OF IfcRelDefinesByTemplate FOR RelatedPropertySets	通过对象化关系 IfcRelDefinesByTemplate 与属性集模板的关系，如果给定，则为属性集或数量集及其属性提供定义模板。 {} IFC4 变更新增反向特性，更改时保持基于文件交换的向上兼容性。
	DefinesOccurrence	SET [0:?] OF IfcRelDefinesByProperties FOR RelatingPropertyDefinition	引用与一个或多个对象实例的关系，这些对象实例的特征由属性集定义定义。能使用对象化关系 IfcRelDefinesByProperties 将单个属性集分配给多个对象实例。 {} IFC4 变更反向特性从 PropertyDefinitionOf 重命名，具有基于文件交换的向上兼容性。
点击显示 9 个隐藏的继承特性点击隐藏 9 个继承特性
IfcWindowLiningProperties (12)
5	LiningDepth	OPTIONAL IfcPositiveLengthMeasure	窗框的深度（垂直于窗户立面平面的尺寸）。
6	LiningThickness	OPTIONAL IfcNonNegativeLengthMeasure	窗框的厚度，如图 7.1.3.4.A 所示。如果 LiningThickness 值为 0（零），则表示没有窗框的窗户（在这种情况下，所有其他窗框参数应设置为 NIL）。如果 LiningThickness 为 NIL，则表示信息不可用。 IFC4 变更数据类型已修改为 IfcNonNegativeLengthMeasure。
7	TransomThickness	OPTIONAL IfcNonNegativeLengthMeasure	横梁的厚度（窗户内窗扇的水平分隔物），平行于窗户立面平面测量。横梁是窗框的一部分，横梁深度假定与窗框深度相同。如果 TransomThickness 设置为零（并且 TransomOffset 设置为正长度），则窗户垂直分隔而没有物理分隔。 IFC4 变更数据类型改为 IfcNonNegativeLengthMeasure。
8	MullionThickness	OPTIONAL IfcNonNegativeLengthMeasure	竖梃的厚度（窗户内窗扇的垂直分隔物），平行于窗户立面平面测量。竖梃是窗框的一部分，竖梃深度假定与窗框深度相同。如果 MullionThickness 设置为零（并且 MullionOffset 设置为正长度），则窗户水平分隔而没有物理分隔。 IFC4 变更数据类型改为 IfcNonNegativeLengthMeasure。
9	FirstTransomOffset	OPTIONAL IfcNormalisedRatioMeasure	第一个横梁中心的偏移量，沿窗户放置坐标系的 Z 轴测量。偏移量值 = 0.5 表示横梁位于窗户的中间。
10	SecondTransomOffset	OPTIONAL IfcNormalisedRatioMeasure	第二个横梁中心的偏移量，沿窗户放置坐标系的 X 轴测量。偏移量值 = 0.666 表示第二个横梁位于窗户的三分之二处。
11	FirstMullionOffset	OPTIONAL IfcNormalisedRatioMeasure	第一个竖梃中心的偏移量，沿窗户放置坐标系的 X 轴测量。偏移量值 = 0.5 表示竖梃位于窗户的中间。
12	SecondMullionOffset	OPTIONAL IfcNormalisedRatioMeasure	第二个竖梃中心的偏移量，沿窗户放置坐标系的 X 轴测量。偏移量值 = 0.666 表示第二个竖梃位于窗户的三分之二处。
13	ShapeAspectStyle	OPTIONAL IfcShapeAspect	指向形状方面（shape aspect）定义的可选链接，该定义指向用于表示窗框的窗户样式的几何表示部分。 IFC4 变更该特性已弃用，不再使用，即该值为 NIL ($)。
14	LiningOffset	OPTIONAL IfcLengthMeasure	窗框的偏移。偏移量是相对于局部坐标系 Y 轴的距离（垂直于窗户平面）。 IFC4 变更在实体定义末尾新增特性。
15	LiningToPanelOffsetX	OPTIONAL IfcLengthMeasure	窗框与窗扇之间沿局部坐标系 X 轴测量的偏移。宜小于或等于 LiningThickness。 IFC4 变更在实体定义末尾新增特性。
16	LiningToPanelOffsetY	OPTIONAL IfcLengthMeasure	窗框与窗扇之间沿局部坐标系 Y 轴测量的偏移。宜小于或等于 IfcWindowPanelProperties.PanelThickness。 IFC4 变更在实体定义末尾新增特性。

表 7.1.3.4.G

7.1.3.4.4 形式化命题

名称	描述
WR31	要么同时给出参数 LiningDepth 和 LiningThickness，要么只给出 LiningThickness，此时 LiningDepth 是可变的。只断言 LiningDepth 是无效的。注释 LiningDepth 为 NIL ($) 值表示窗型的窗框深度等于墙厚。 IFC4 变更修正规则。
`NOT(EXISTS(LiningDepth) AND NOT(EXISTS(LiningThickness)))`
WR32	要么同时给出参数 FirstTransomOffset 和 SecondTransomOffset，要么只给出 FirstTransomOffset，要么都不给出。只断言 SecondTransomOffset 是无效的。
`NOT(NOT(EXISTS(FirstTransomOffset)) AND EXISTS(SecondTransomOffset))`
WR33	要么同时给出参数 FirstMullionOffset 和 SecondMullionOffset，要么只给出 FirstMullionOffset，要么都不给出。只断言 SecondMullionOffset 是无效的。
`NOT(NOT(EXISTS(FirstMullionOffset)) AND EXISTS(SecondMullionOffset))`
WR34	IfcWindowPanelProperties 应仅在 IfcDoorType 的上下文中进行使用。注释已弃用的实体 IfcWindowType 同样适用。
`(EXISTS(SELF\IfcPropertySetDefinition.DefinesType[1])) AND ('IFC4X3_DEV_62887e3f.IFCWINDOWTYPE' IN TYPEOF(SELF\IfcPropertySetDefinition.DefinesType[1]))`

表 7.1.3.4.H

7.1.3.4.5 概念用法

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

表 7.1.3.4.I

7.1.3.4.6 形式化表示

ENTITY IfcWindowLiningProperties
 SUBTYPE OF (IfcPreDefinedPropertySet);
	LiningDepth : OPTIONAL IfcPositiveLengthMeasure;
	LiningThickness : OPTIONAL IfcNonNegativeLengthMeasure;
	TransomThickness : OPTIONAL IfcNonNegativeLengthMeasure;
	MullionThickness : OPTIONAL IfcNonNegativeLengthMeasure;
	FirstTransomOffset : OPTIONAL IfcNormalisedRatioMeasure;
	SecondTransomOffset : OPTIONAL IfcNormalisedRatioMeasure;
	FirstMullionOffset : OPTIONAL IfcNormalisedRatioMeasure;
	SecondMullionOffset : OPTIONAL IfcNormalisedRatioMeasure;
	ShapeAspectStyle : OPTIONAL IfcShapeAspect;
	LiningOffset : OPTIONAL IfcLengthMeasure;
	LiningToPanelOffsetX : OPTIONAL IfcLengthMeasure;
	LiningToPanelOffsetY : OPTIONAL IfcLengthMeasure;
 WHERE
	WR31 : NOT(EXISTS(LiningDepth) AND NOT(EXISTS(LiningThickness)));
	WR32 : NOT(NOT(EXISTS(FirstTransomOffset)) AND EXISTS(SecondTransomOffset));
	WR33 : NOT(NOT(EXISTS(FirstMullionOffset)) AND EXISTS(SecondMullionOffset));
	WR34 : (EXISTS(SELF\IfcPropertySetDefinition.DefinesType[1]))
AND
('IFC4X3_DEV_62887e3f.IFCWINDOWTYPE' IN TYPEOF(SELF\IfcPropertySetDefinition.DefinesType[1]));
END_ENTITY;

7.1.3.4.7 参考

IfcPreDefinedPropertySet