7.1.3.1 IfcDoorLiningProperties

7.1.3.1.1 Semantic definition

The door lining is the frame which enables the door leaf to be fixed in position. The door lining is used to hang the door leaf. The parameters of the door lining define the geometrically relevant parameter of the lining.

The IfcDoorLiningProperties are included in the list of properties of IfcDoorType.HasPropertySets. More information about the door lining can be included in the same list of the IfcDoorTyype using another IfcPropertySet for dynamic extensions.

The IfcDoorLiningProperties does not hold its own geometric representation. However it defines parameters which can be used to create the shape of the door type (which is inserted by the IfcDoor into the spatial context of the project) as described below. The parameters of the IfcDoorLiningProperties define a standard door lining, including (if given) a threshold and a transom. The outer boundary of the lining is determined by the 'Profile' shape representation assigned to the IfcDoor, which inserts the IfcDoorType.

The lining is applied to the left, right and upper side of the opening reveal. The parameters are:

• LiningDepth, if omitted, equal to wall thickness - this only takes effect if a value for LiningThickness is given. If both parameters are not given, then there is no lining.
• LiningThickness
• LiningToPanelOffsetX
• LiningToPanelOffsetY

The lining can only cover part of the opening reveal.

• LiningOffset, given if lining edge has an offset to the x axis of the local placement.

The lining may include a casing, which covers part of the wall faces around the opening. The casing covers the left, right and upper side of the lining on both sides of the wall. The parameters are:

• CasingDepth
• CasingThickness

The lining may include a threshold, which covers the bottom side of the opening. The parameters are:

• ThresholdDepth, if omitted, equal to wall thickness - this only takes effect if a value for ThresholdThickness is given. If both parameters are not given, then there is no threshold.
• ThresholdThickness
• ThresholdOffset (not shown in figure), given, if the threshold edge has an offset to the x axis of the local placement.

The lining may have a transom which separates the door panel from a window panel. The transom, if given, is defined by:

• TransomOffset, a parallel edge to the x axis of the local placement
• TransomThickness

The depth of the transom is identical to the depth of the lining and not given as separate parameter.

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.IFCDOORTYPE' IN TYPEOF(SELF\IfcPropertySetDefinition.DefinesType[1]))
  OR
 ('IFC4X3.IFCDOORSTYLE' 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.IFCDOORTYPE' IN TYPEOF(SELF\IfcPropertySetDefinition.DefinesType[1]))
  OR
 ('IFC4X3.IFCDOORSTYLE' IN TYPEOF(SELF\IfcPropertySetDefinition.DefinesType[1]))
);
END_ENTITY;

7.1.3.1.7 References

• IfcPreDefinedPropertySet