6.1.3.16 IfcDoor（门）

6.1.3.16.1 语义定义（Semantic definition）

门是一种建筑构件，主要用于为人员、货物、动物和车辆提供受控的通行通道。它包括采用铰链、枢轴、滑动以及旋转和折叠操作的构造。门可以是：

"独立式"门，包含在空间元素（如 IfcBuildingStorey）中。
填充洞口，通常在墙中。此时门将具有 FillsVoids 属性，该属性使用 IfcRelFillsElement 关系将 IfcDoor 与 IfcOpeningElement 关联；
作为构件装配的一部分，通常是 IfcCurtainWall。此时门将具有 Decomposes 属性，该属性使用 IfcRelAggregates 关系将门与构件装配关联；

门的实例有两种主要表示方式：

定义了三维矩形"剖面"形状表示的 IfcDoor 实体。该剖面可用于参数化生成门的几何形状。如果未提供，且门填充了洞口，则可以使用 IfcOpeningElement 的剖面。参数在引用了 IfcDoorLiningProperties 和 IfcDoorPanelProperties（用于门中的每个门板）的相关 IfcDoorType 上指定；
非参数化生成且仅具有"Brep"或"SurfaceModel"几何形状的 IfcDoor 实体。

此外， IfcDoor 通常可以包括定义门的二维形状及其开启方向的"FootPrint"表示。

门的参数由 IfcDoor 实例及其 IfcDoorType 共同定义。 IfcDoor 指定：

门的宽度和高度
门的开启方向（通过 ObjectPlacement 的正 Y 轴）

IfcDoorType 指定其所有 IfcDoor 实例共有的参数：

操作类型（单开、双开、旋转等）
门铰链侧（通过对左右开启门使用两种不同的样式）
通过 IfcDoorLiningProperties 指定的门框特定属性
通过 IfcDoorPanelProperties 指定的门板特定属性

根据 ISO 6707-1 的定义：用于封闭洞口的构件，主要通过铰链、枢轴或滑动方式进行启闭操作。

6.1.3.16.2 实体继承（Entity inheritance）

- IfcRoot

6.1.3.16.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	可选的描述，用于提供信息性注释。
IfcObjectDefinition (7)
	HasAssignments	SET [0:?] OF IfcRelAssigns FOR RelatedObjects	引用分配（通过关联关系）其他 IfcObject 子类型到此对象实例的关系对象。例如，与产品、过程、控制、资源或组的关联。
	Nests	SET [0:1] OF IfcRelNests FOR RelatedObjects	引用作为嵌套的分解关系。它确定此对象定义是顺序整体/部分分解关系中的一部分。对象实例或类型只能是单个分解的一部分（仅允许分层结构）。 IFC4 变更新增反向属性数据类型，并与 IfcObjectDefinition 中定义的 Decomposes 分离。
	IsNestedBy	SET [0:?] OF IfcRelNests FOR RelatingObject	引用作为嵌套的分解关系。它确定此对象定义是顺序整体/部分分解关系中的整体。对象或对象类型可以被多个其他对象（实例或类型）嵌套。 IFC4 变更新增反向属性数据类型，并与 IfcObjectDefinition 中定义的 IsDecomposedBy 分离。
	HasContext	SET [0:1] OF IfcRelDeclares FOR RelatedDefinitions	引用提供上下文信息的上下文，例如项目单位或表示上下文。它只应断言在最上层的非空间对象上。 IFC4 变更新增反向属性数据类型。
	IsDecomposedBy	SET [0:?] OF IfcRelAggregates FOR RelatingObject	引用作为聚合的分解关系。它确定此对象定义是无序整体/部分分解关系中的整体。对象定义可以被多个其他对象（实例或部分）聚合。 IFC4 变更反向属性数据类型已从超类型 IfcRelDecomposes 更改为子类型 IfcRelAggregates。
	Decomposes	SET [0:1] OF IfcRelAggregates FOR RelatedObjects	引用作为聚合的分解关系。它确定此对象定义是无序整体/部分分解关系中的一部分。对象定义只能是单个分解的一部分（仅允许分层结构）。 IFC4 变更反向属性数据类型已从超类型 IfcRelDecomposes 更改为子类型 IfcRelAggregates。
	HasAssociations	SET [0:?] OF IfcRelAssociates FOR RelatedObjects	引用将外部资源或资源定义与对象关联的关系对象。例如，与库、文档或分类的关联。
IfcObject (5)
5	ObjectType	OPTIONAL IfcLabel	该类型表示指示对象的特定类型。必须在可实例化的子类型的级别上建立用法。特别是，如果特性 PredefinedType 的枚举设置为 USERDEFINED，或者当实例化的具体实体没有 PredefinedType 特性时，它保存用户定义的类型。后者发生在一些特殊的叶子类中，以及直接实例化 IfcBuiltElement 时。
	IsDeclaredBy	SET [0:1] OF IfcRelDefinesByObject FOR RelatedObjects	链接到指向声明对象的关系对象，该声明对象为此对象实例提供对象定义。声明对象必须是对象类型分解的一部分。关联的 IfcObject 或其子类型包含特定信息（作为类型或样式定义的一部分），该信息对于声明 IfcObject 或其子类型的所有反映实例是通用的。 IFC4 变更新增逆向关系，此变更保持基于文件交换的向上兼容性。
	Declares	SET [0:?] OF IfcRelDefinesByObject FOR RelatingObject	链接到指向接收对象定义的反向对象的关系对象。反向对象必须是对象实例分解的一部分。关联的 IfcObject 或其子类型提供特定信息（作为类型或样式定义的一部分），该信息对于声明 IfcObject 或其子类型的所有反向实例是通用的。 IFC4 变更新增逆向关系，此变更保持基于文件交换的向上兼容性。
	IsTypedBy	SET [0:1] OF IfcRelDefinesByType FOR RelatedObjects	与对象类型的关系集合，该对象类型为此对象实例提供类型定义。然后，关联的 IfcTypeObject 或其子类型包含特定信息（或类型或样式），该信息对于引用同一类型的所有 IfcObject 或其子类型的实例是通用的。 IFC4 变更新增逆向关系，与 IfcRelDefinesByType 的链接先前包含在逆向关系 IfcRelDefines 中。此变更保持基于文件交换的向上兼容性。
	IsDefinedBy	SET [0:?] OF IfcRelDefinesByProperties FOR RelatedObjects	与附加到此对象的属性集定义的集合的关系。这些静态或动态定义的特性包含字母数字信息内容，这些内容进一步定义了对象。 IFC4 变更数据类型已从 IfcRelDefines 更改为 IfcRelDefinesByProperties，保持基于文件交换的向上兼容性。
IfcProduct (5)
6	ObjectPlacement	OPTIONAL IfcObjectPlacement	这建立了产品在空间中的对象坐标系和位置。位置可以是绝对的（相对于世界坐标系）、相对的（相对于另一个产品的对象位置）或约束的（例如，相对于网格轴或线性定位元素）。位置的类型由 IfcObjectPlacement 的各种子类型确定。如果存在表示，则必须提供对象位置。
7	Representation	OPTIONAL IfcProductRepresentation	引用产品的表示，可以是表示 (IfcProductRepresentation) 或作为形状表示 (IfcProductDefinitionShape) 的特例。产品定义形状为同一对象坐标系中的形状属性提供了多个几何表示，该坐标系由对象位置确定。
	ReferencedBy	SET [0:?] OF IfcRelAssignsToProduct FOR RelatingProduct	引用 IfcRelAssignsToProduct 关系，通过该关系，其他产品、过程、控制、资源或参与者（作为 IfcObjectDefinition 的子类型）可以与此产品相关联。
	PositionedRelativeTo	SET [0:?] OF IfcRelPositions FOR RelatedProducts	引用 IfcRelPositions 关系，该关系定义了其与定位元素的关系。
	ReferencedInStructures	SET [0:?] OF IfcRelReferencedInSpatialStructure FOR RelatedElements	引用对象化关系 IfcRelReferencedInSpatialStructure，可用于将产品与一个或多个空间结构元素相关联，除了它主要包含的那个。
IfcElement (13)
8	Tag	OPTIONAL IfcIdentifier	产品实例的标签（或标识符），例如序列号或位置编号。这是实例级别的标识符。
	FillsVoids	SET [0:1] OF IfcRelFillsElement FOR RelatedBuildingElement	指向 IfcRelFillsElement 关系的引用，该关系将元素作为填充物放入另一个元素中创建的开口。
	ConnectedTo	SET [0:?] OF IfcRelConnectsElements FOR RelatingElement	指向元素连接关系的引用。该关系随后引用此元素所连接的另一个元素。
	IsInterferedByElements	SET [0:?] OF IfcRelInterferesElements FOR RelatedElement	指向干扰关系的引用，以指示被干扰的元素。如果提供了该关系，则表示此元素与一个或多个其他元素存在干扰。注释 IsInterferedByElements 与 InterferesElements 之间没有优先级指示。 IFC4变更新增逆向关系
	InterferesElements	SET [0:?] OF IfcRelInterferesElements FOR RelatingElement	指向干扰关系的引用，以指示干扰的元素。如果提供了该关系，则表示此元素与一个或多个其他元素存在干扰。注释 IsInterferedByElements 与 InterferesElements 之间没有优先级指示。 IFC4变更新增逆向关系
	HasProjections	SET [0:?] OF IfcRelProjectsElement FOR RelatingElement	投影关系，通过布尔并集向 IfcBuiltElement 添加一个特征。
	HasOpenings	SET [0:?] OF IfcRelVoidsElement FOR RelatingBuildingElement	指向 IfcRelVoidsElement 关系的引用，该关系在元素中创建开口。一个元素可以包含零个或多个开口。对于每个使元素产生空洞的开口，都会生成一个新的关系 IfcRelVoidsElement。
	IsConnectionRealization	SET [0:?] OF IfcRelConnectsWithRealizingElements FOR RealizingElements	指向具有实现元素的连接关系的引用。如果提供了该关系，则将此元素分配给连接的实现元素，该连接提供了连接关系的物理体现。
	ProvidesBoundaries	SET [0:?] OF IfcRelSpaceBoundary FOR RelatedBuildingElement	通过对象化关系 IfcRelSpaceBoundary 指向空间边界。它定义了元素边界空间的と言う概念。
	ConnectedFrom	SET [0:?] OF IfcRelConnectsElements FOR RelatedElement	指向元素连接关系的引用。该关系随后引用连接到此元素的另一个元素。
	ContainedInStructure	SET [0:1] OF IfcRelContainedInSpatialStructure FOR RelatedElements	包含关系到空间结构元素，该元素主要与之相关联。此包含关系必须是分层的，即一个元素只能直接分配给零个或一个空间结构。
	HasCoverings	SET [0:?] OF IfcRelCoversBldgElements FOR RelatingBuildingElement	通过对象化关系 IfcRelCoversBldgElements 指向 IfcCovering。它定义了具有相关覆盖物的元素的と言う概念。
	HasSurfaceFeatures	SET [0:?] OF IfcRelAdheresToElement FOR RelatingElement	指向 IfcRelAdheresToElement 关系的引用，该关系将 IfcSurfaceFeature 附着到元素上。一个元素可以在一个关系中包含零个或多个表面特征。
点击显示 34 个隐藏的继承特性点击隐藏 34 个继承特性
IfcDoor (5)
9	OverallHeight	OPTIONAL IfcPositiveLengthMeasure	高度的总体测量值，反映了包围门洞口主体的边界框的 Z 维度。如果省略， OverallHeight 应从插入门的 IfcOpeningElement 的几何表示中获取。注释门体可能高于门洞开口（例如当门框包含贴脸板时）。在此类情况下，OverallHeight 仍应表示为门洞开口高度，而非门框总高度。
10	OverallWidth	OPTIONAL IfcPositiveLengthMeasure	宽度的总体测量值，反映了包围门洞口主体的边界框的 X 维度。如果省略， OverallWidth 应从插入门的 IfcOpeningElement 的几何表示中获取。注释门体可能宽于门洞开口（例如当门框包含贴脸板时）。在此类情况下，OverallWidth 仍应表示为门洞开口宽度，而非门框总宽度。
11	PredefinedType	OPTIONAL IfcDoorTypeEnum	用于进一步标识对象的类型列表。某些属性集可能特别适用于其中一种类型。注释如果对象已关联带有 PredefinedType 的 IfcTypeObject，则不应在该对象实例上使用此属性。【转化增加】该约束用于避免类型对象与实例对象对同一分类语义的重复定义或冲突；采用类型化建模时，PredefinedType 在 IfcTypeObject 上统一维护。
12	OperationType	OPTIONAL IfcDoorTypeOperationEnum	根据门板的划分和门板操作来定义门类型总体布局和操作的类型。注释仅当未分配提供自身 IfcDoorType.OperationType 的类型对象 IfcDoorType 时，才应使用 OperationType。
13	UserDefinedOperationType	OPTIONAL IfcLabel	用户定义操作类型的标识符，仅当 OperationType 的值设置为 USERDEFINED 时才应提供。

表 6.1.3.16.J

6.1.3.16.4 形式化命题（Formal propositions）

名称（Name）	描述（Description）
CorrectPredefinedType	要么 PredefinedType 属性未设置（例如，因为关联了 IfcDoorType），要么如果 PredefinedType 设置为 USERDEFINED，则应提供继承的属性 ObjectType。
`NOT(EXISTS(PredefinedType)) OR (PredefinedType <> IfcDoorTypeEnum.USERDEFINED) OR ((PredefinedType = IfcDoorTypeEnum.USERDEFINED) AND EXISTS (SELF\IfcObject.ObjectType))`
CorrectTypeAssigned	要么没有关联的门类型对象（即未提供 IsTypedBy 逆向关系），要么关联的类型对象必须是 IfcDoorType 类型。
`(SIZEOF(IsTypedBy) = 0) OR ('IFC4X3_DEV_62887e3f.IFCDOORTYPE' IN TYPEOF(SELF\IfcObject.IsTypedBy[1].RelatingType))`

表 6.1.3.16.K

6.1.3.16.5 属性集（Property sets）

Pset_Condition
- AssessmentDate
- AssessmentCondition
- AssessmentDescription
- AssessmentType
- AssessmentMethod
- LastAssessmentReport
- NextAssessmentDate
- AssessmentFrequency
Pset_ConstructionAdministration
- ProcurementMethod
- SpecificationSectionNumber
- SubmittalIdentifer
Pset_ConstructionOccurence
- InstallationDate
- ModelNumber
- TagNumber
- AssetIdentifier
Pset_DoorCommon
- Reference
- Status
- FireRating
- AcousticRating
- SecurityRating
- DurabilityRating
- HygrothermalRating
- WaterTightnessRating
- MechanicalLoadRating
- WindLoadRating
- Infiltration
- IsExternal
- ThermalTransmittance
- GlazingAreaFraction
- HandicapAccessible
- FireExit
- HasDrive
- SelfClosing
- SmokeStop
Pset_DoorLiningProperties
- LiningDepth
- LiningThickness
- ThresholdDepth
- ThresholdThickness
- TransomThickness
- TransomOffset
- LiningOffset
- ThresholdOffset
- CasingThickness
- CasingDepth
- LiningToPanelOffsetX
- LiningToPanelOffsetY
Pset_DoorPanelProperties
- PanelDepth
- PanelOperation
- PanelWidth
- PanelPosition
Pset_DoorTypeTurnstile TURNSTILE
- IsBidirectional
- TurnstileType
- NarrowChannelWidth
- WideChannelWidth
Pset_DoorWindowGlazingType
- GlassLayers
- GlassThickness1
- GlassThickness2
- GlassThickness3
- FillGas
- GlassColour
- IsTempered
- IsLaminated
- IsCoated
- IsWired
- VisibleLightReflectance
- VisibleLightTransmittance
- SolarAbsorption
- SolarReflectance
- SolarTransmittance
- SolarHeatGainTransmittance
- ShadingCoefficient
- ThermalTransmittanceSummer
- ThermalTransmittanceWinter
Pset_ElementKinematics
- CyclicPath
- CyclicRange
- LinearPath
- LinearRange
- MaximumAngularVelocity
- MaximumConstantSpeed
- MinimumTime
Pset_EnvironmentalCondition
- ReferenceAirRelativeHumidity
- ReferenceEnvironmentTemperature
- MaximumAtmosphericPressure
- StorageTemperatureRange
- MaximumWindSpeed
- OperationalTemperatureRange
- MaximumRainIntensity
- SaltMistLevel
- SeismicResistance
- SmokeLevel
- MaximumSolarRadiation
Pset_EnvironmentalImpactIndicators
- Reference
- FunctionalUnitReference
- IndicatorsUnit
- LifeCyclePhase
- ExpectedServiceLife
- TotalPrimaryEnergyConsumptionPerUnit
- WaterConsumptionPerUnit
- HazardousWastePerUnit
- NonHazardousWastePerUnit
- ClimateChangePerUnit
- AtmosphericAcidificationPerUnit
- RenewableEnergyConsumptionPerUnit
- NonRenewableEnergyConsumptionPerUnit
- ResourceDepletionPerUnit
- InertWastePerUnit
- RadioactiveWastePerUnit
- StratosphericOzoneLayerDestructionPerUnit
- PhotochemicalOzoneFormationPerUnit
- EutrophicationPerUnit
Pset_EnvironmentalImpactValues
- TotalPrimaryEnergyConsumption
- WaterConsumption
- HazardousWaste
- NonHazardousWaste
- ClimateChange
- AtmosphericAcidification
- RenewableEnergyConsumption
- NonRenewableEnergyConsumption
- ResourceDepletion
- InertWaste
- RadioactiveWaste
- StratosphericOzoneLayerDestruction
- PhotochemicalOzoneFormation
- Eutrophication
- LeadInTime
- Duration
- LeadOutTime
Pset_InstallationOccurrence
- InstallationDate
- AcceptanceDate
- PutIntoOperationDate
Pset_MaintenanceStrategy
- AssetCriticality
- AssetFrailty
- AssetPriority
- MonitoringType
- AccidentResponse
Pset_MaintenanceTriggerCondition
- ConditionTargetPerformance
- ConditionMaintenanceLevel
- ConditionReplacementLevel
- ConditionDisposalLevel
Pset_MaintenanceTriggerDuration
- DurationTargetPerformance
- DurationMaintenanceLevel
- DurationReplacementLevel
- DurationDisposalLevel
Pset_MaintenanceTriggerPerformance
- TargetPerformance
- PerformanceMaintenanceLevel
- ReplacementLevel
- DisposalLevel
Pset_ManufacturerOccurrence
- AcquisitionDate
- BarCode
- SerialNumber
- BatchReference
- AssemblyPlace
- ManufacturingDate
Pset_ManufacturerTypeInformation
- GlobalTradeItemNumber
- ArticleNumber
- ModelReference
- ModelLabel
- Manufacturer
- ProductionYear
- AssemblyPlace
- OperationalDocument
- SafetyDocument
- PerformanceCertificate
Pset_PermeableCoveringProperties
- OperationType
- PanelPosition
- FrameDepth
- FrameThickness
Pset_ProcessCapacity
- ProcessItem
- ProcessCapacity
- ProcessPerformance
- DownstreamConnections
- UpstreamConnections
Pset_RepairOccurrence
- RepairContent
- RepairDate
- MeanTimeToRepair
Pset_Risk
- RiskName
- RiskType
- NatureOfRisk
- RiskAssessmentMethodology
- UnmitigatedRiskLikelihood
- UnmitigatedRiskConsequence
- UnmitigatedRiskSignificance
- MitigationPlanned
- MitigatedRiskLikelihood
- MitigatedRiskConsequence
- MitigatedRiskSignificance
- MitigationProposed
- AssociatedProduct
- AssociatedActivity
- AssociatedLocation
Pset_ServiceLife
- ServiceLifeDuration
- MeanTimeBetweenFailure
Pset_TicketProcessing BOOM_BARRIER
- TicketProcessingTime
- TicketStuckRatio
Pset_TicketProcessing TURNSTILE
- TicketProcessingTime
- TicketStuckRatio
Pset_Tolerance
- ToleranceDescription
- ToleranceBasis
- OverallTolerance
- HorizontalTolerance
- OrthogonalTolerance
- VerticalTolerance
- PlanarFlatness
- HorizontalFlatness
- ElevationalFlatness
- SideFlatness
- OverallOrthogonality
- HorizontalOrthogonality
- OrthogonalOrthogonality
- VerticalOrthogonality
- OverallStraightness
- HorizontalStraightness
- OrthogonalStraightness
- VerticalStraightness
Pset_Uncertainty
- UncertaintyBasis
- UncertaintyDescription
- HorizontalUncertainty
- LinearUncertainty
- OrthogonalUncertainty
- VerticalUncertainty
Pset_Warranty
- WarrantyIdentifier
- WarrantyStartDate
- IsExtendedWarranty
- WarrantyPeriod
- WarrantyContent
- PointOfContact
- Exclusions
Qto_BodyGeometryValidation
- GrossSurfaceArea
- NetSurfaceArea
- GrossVolume
- NetVolume
- SurfaceGenusBeforeFeatures
- SurfaceGenusAfterFeatures
Qto_DoorBaseQuantities
- Width
- Height
- Perimeter
- Area

6.1.3.16.6 概念用法（Concept usage）

Brep representation — 图 6.1.3.16.A — 建筑元素主体边界表示

surface model — 图 6.1.3.16.A — 建筑元素主体边界表示

6.1.3.16.7 形式化表示（Formal representation）

ENTITY IfcDoor
 SUBTYPE OF (IfcBuiltElement);
	OverallHeight : OPTIONAL IfcPositiveLengthMeasure;
	OverallWidth : OPTIONAL IfcPositiveLengthMeasure;
	PredefinedType : OPTIONAL IfcDoorTypeEnum;
	OperationType : OPTIONAL IfcDoorTypeOperationEnum;
	UserDefinedOperationType : OPTIONAL IfcLabel;
 WHERE
	CorrectPredefinedType : NOT(EXISTS(PredefinedType)) OR
 (PredefinedType <> IfcDoorTypeEnum.USERDEFINED) OR
 ((PredefinedType = IfcDoorTypeEnum.USERDEFINED) AND EXISTS (SELF\IfcObject.ObjectType));
	CorrectTypeAssigned : (SIZEOF(IsTypedBy) = 0) OR
  ('IFC4X3_DEV_62887e3f.IFCDOORTYPE' IN TYPEOF(SELF\IfcObject.IsTypedBy[1].RelatingType));
END_ENTITY;

6.1.3.16.8 参考（References）

IfcBuiltElement