7.1.3.1 IfcDoorLiningProperties（门框属性）

7.1.3.1.1 语义定义（Semantic definition）

门套是用于固定门扇的门框。门套用于悬挂门扇。门套的参数定义了门套在几何上的相关参数。

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 实体继承（Entity inheritance）

1. • IfcRoot
2. • IfcPropertyDefinition
   • IfcObjectDefinition
   • IfcRelationship
3. • IfcPropertySetDefinition
   • IfcPropertyTemplateDefinition
4. • IfcPreDefinedPropertySet
   • IfcPropertySet
   • IfcQuantitySet
5. • IfcDoorLiningProperties
   • IfcDoorPanelProperties
   • IfcPermeableCoveringProperties
   • IfcReinforcementDefinitionProperties
   • IfcWindowLiningProperties
   • IfcWindowPanelProperties

7.1.3.1.3 特性（Attributes）

7.1.3.1.4 形式化命题（Formal propositions）

NOT(EXISTS(LiningDepth) AND NOT(EXISTS(LiningThickness)))

NOT(EXISTS(ThresholdDepth) AND NOT(EXISTS(ThresholdThickness)))

(EXISTS(TransomOffset) AND EXISTS(TransomThickness)) XOR
(NOT(EXISTS(TransomOffset)) AND NOT(EXISTS(TransomThickness)))

(EXISTS(CasingDepth) AND EXISTS(CasingThickness)) XOR
(NOT(EXISTS(CasingDepth)) AND NOT(EXISTS(CasingThickness)))

(EXISTS(SELF\IfcPropertySetDefinition.DefinesType[1])) 
AND 
('IFC4X3_DEV_62887e3f.IFCDOORTYPE' IN TYPEOF(SELF\IfcPropertySetDefinition.DefinesType[1]))

7.1.3.1.5 概念用法（Concept usage）

7.1.3.1.6 形式化表示（Formal representation）

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;

7.1.3.1.7 参考文献

• IfcPreDefinedPropertySet