6.1.3.12 IfcCovering（覆盖层）

6.1.3.12.1 语义定义

覆盖层是覆盖另一个构件的某些部分并完全依赖于该构件的构件。 IfcCovering 定义了覆盖层类型的实例，该类型（如果给出）由 IfcCoveringType 表示。

覆盖层是具有与覆盖构件和另一侧空间关系的构件，它们可能包含由 IfcRelVoidsElement 分配的开口、由 IfcRelAssociatesMaterial 分配的材料信息等。

覆盖层可以分配给：

• 由 IfcSpace 表示的空间
• 使用指向 IfcRelCoversSpaces 的反向关系 CoversSpaces。然后可以通过 IfcRelCoversSpaces.RelatedSpace 访问空间。它定义了覆盖层面向哪个空间。
• 由 IfcRelSpaceBoundary 表示的空间边界
• 使用指向 IfcRelSpaceBoundary 的反向关系 ProvidesBoundaries。然后可以通过 IfcRelSpaceBoundary.RelatingSpace 访问空间。
• 由 IfcBuiltElement 表示的建筑构件
• 使用指向 IfcRelCoversBldgElements 的反向关系 Covers。然后可以通过 IfcRelCoversBldgElements.RelatingBuildingElement 访问建筑构件。

以下指南应适用：

• （默认）如果空间具有可能没有自己的形状表示且与它们覆盖的建筑构件没有定义关系的覆盖层，则 IfcCovering 应使用 IfcRelCoversSpaces 关系分配给 IfcSpace，
• 如果空间具有具有自身形状表示的覆盖层且空间已定义空间边界，则与该空间相关的覆盖层应使用 IfcRelContainedInSpatialStructure 包含在空间中。它可以使用 IfcRelSpaceBoundary 分配给空间边界。
• 如果覆盖层与空间无关，则覆盖层应使用 IfcRelCoversBldgElements 关系分配给建筑构件或输配构件。

沿革 IFC1.0 中的新实体。

6.1.3.12.2 实体继承

1. • IfcRoot
2. • IfcObjectDefinition
   • IfcPropertyDefinition
   • IfcRelationship
3. • IfcObject
   • IfcContext
   • IfcTypeObject
4. • IfcProduct
   • IfcActor
   • IfcControl
   • IfcGroup
   • IfcProcess
   • IfcResource
5. • IfcElement
   • IfcAnnotation
   • IfcLinearElement
   • IfcPort
   • IfcPositioningElement
   • IfcSpatialElement
   • IfcStructuralActivity
   • IfcStructuralItem
6. • IfcBuiltElement
   • IfcCivilElement
   • IfcDistributionElement
   • IfcElementAssembly
   • IfcElementComponent
   • IfcFeatureElement
   • IfcFurnishingElement
   • IfcGeographicElement
   • IfcGeotechnicalElement
   • IfcTransportationDevice
   • IfcVirtualElement
7. • IfcCovering
   • IfcBeam
   • IfcBearing
   • IfcBuildingElementProxy
   • IfcChimney
   • IfcColumn
   • IfcCourse
   • IfcCurtainWall
   • IfcDeepFoundation
   • IfcDoor
   • IfcEarthworksElement
   • IfcFooting
   • IfcKerb
   • IfcMember
   • IfcMooringDevice
   • IfcNavigationElement
   • IfcPavement
   • IfcPlate
   • IfcRail
   • IfcRailing
   • IfcRamp
   • IfcRampFlight
   • IfcRoof
   • IfcShadingDevice
   • IfcSlab
   • IfcStair
   • IfcStairFlight
   • IfcTrackElement
   • IfcWall
   • IfcWindow

6.1.3.12.3 特性

6.1.3.12.4 形式化命题

NOT(EXISTS(PredefinedType)) OR
 (PredefinedType <> IfcCoveringTypeEnum.USERDEFINED) OR
 ((PredefinedType = IfcCoveringTypeEnum.USERDEFINED) AND EXISTS (SELF\IfcObject.ObjectType))

(SIZEOF(IsTypedBy) = 0) OR
  ('IFC4X3_DEV_62887e3f.IFCCOVERINGTYPE' IN TYPEOF(SELF\IfcObject.IsTypedBy[1].RelatingType))

6.1.3.12.5 属性集

• Pset_Condition
  • AssessmentDate（评估日期）
  • AssessmentCondition（评估条件）
  • AssessmentDescription（评估描述）
  • AssessmentType（评估类型）
  • AssessmentMethod（评估方法）
  • LastAssessmentReport（最后评估报告）
  • NextAssessmentDate（下次评估日期）
  • AssessmentFrequency（评估频率）
• Pset_ConstructionAdministration
  • ProcurementMethod（采购方法）
  • SpecificationSectionNumber（规范章节编号）
  • SubmittalIdentifer（提交标识符）
• Pset_ConstructionOccurence
  • InstallationDate（安装日期）
  • ModelNumber（型号）
  • TagNumber（标签编号）
  • AssetIdentifier（资产标识符）
• Pset_CoveringCommon
  • Reference（类型参照标识）
  • Status（状态）
  • AcousticRating（声学评级）
  • FlammabilityRating（易燃性等级）
  • FragilityRating（易碎性等级）
  • Combustible（可燃性）
  • SurfaceSpreadOfFlame（表面火焰蔓延）
  • Finish（饰面）
  • IsExternal（是否为外部）
  • ThermalTransmittance（传热系数）
  • FireRating（耐火极限）
• Pset_CoveringFlooring FLOORING
  • HasNonSkidSurface（具有防滑表面）
  • HasAntiStaticSurface（具有防静电表面）
• Pset_CoveringTypeMembrane MEMBRANE
  • NominalInstallationDepth（额定安装深度）
  • NominalTransverseInclination（公称横向倾角）
• 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_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_Tiling
  • Permeability（渗透性）
  • TileLength（瓷砖长度）
  • TileWidth（瓷砖宽度）
• 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_CoveringBaseQuantities
  • Width（宽度）
  • GrossArea（总面积）
  • NetArea（净面积）

6.1.3.12.6 概念用法

概念	用法	描述
IfcRoot (2)
Revision Control（版本控制）	通用用法	使用 IfcOwnerHistory 捕获所有权、历史记录和合并状态。
Software Identity（软件标识）	通用用法	IfcRoot 分配全局唯一 ID。此外，它还可以为概念提供名称和描述。
IfcObjectDefinition (9)
Aggregation（聚合）	通用用法	无可用描述
Approval Association（审批关联）	通用用法	无可用描述
Classification Association（分类关联）	通用用法	任何对象实例或对象类型都可以具有对特定分类引用的引用，即对分类系统中特定方面的引用。
Constraint Association（约束关联）	通用用法	无可用描述
Document Association（文档关联）	通用用法	无可用描述
Library Association（库关联）	通用用法	无可用描述
Material Association（材料关联）	通用用法	无可用描述
Material Single（单一材料）	通用用法	无可用描述
Nesting（嵌套）	通用用法	无可用描述
IfcObject (5)
Assignment to Group（指定到组）	通用用法	无可用描述
Object Predefined Type（对象预定义类型）	通用用法	无可用描述
Object Typing（对象类型化）	通用用法	任何对象实例都可以通过被分配给一个使用此概念的通用对象类型来类型化。通过在 IfcObject 的子类型级别覆盖此概念，引入了一个限制可分配的 IfcTypeObject 子类型的特定规则。 此概念可应用于以下资源 IfcTypeObject
Object User Identity（对象用户标识）	通用用法	特性 Name 和可选的 Description 可用于 IfcObject 的所有子类型。对于那些具有对象类型定义的子类型，例如 IfcBeam - IfcBeamType，通用的 Name 和可选的 Description 与对象类型相关联。
Property Sets with Override（带覆盖的属性集）	通用用法	任何对象实例都可以拥有属性集，可以直接在对象实例上作为构件特定的属性集，也可以在对象类型上作为类型属性集。在这种情况下，提供给对象实例的特性是构件特定特性和类型特性的组合。如果在实例和类型特性中都定义了相同的特性（在同一属性集中），则实例特性的特性值将覆盖类型特性的特性值。
IfcProduct (18)
Body Geometry（主体几何）	通用用法	IfcProduct 的主体或实体模型几何表示通常使用镶嵌（Tessellation）或边界表示（Brep）定义。子类型可以提供关于其他可用表示类型的建议。承载此几何表示的 IfcShapeRepresentation 应使用以下特性值： IfcShapeRepresentation.RepresentationIdentifier = 'Body' IfcShapeRepresentation.RepresentationType = 通常为 'Tessellation' 或 'Brep'
Box Geometry（盒子几何）	通用用法	无可用描述
CoG Geometry（CoG几何）	通用用法	无可用描述
Mapped Geometry（映射几何）	通用用法	无可用描述
Object Typing（对象类型化）	通用用法	此概念可应用于以下资源 IfcTypeProduct
Product Geometric Representation（产品几何表示）	通用用法	任何 IfcProduct 的几何表示由 IfcProductDefinitionShape 提供，允许进行多个几何表示。它使用 Product Placement 概念，利用 IfcLocalPlacement 建立对象坐标系，所有几何表示都基于该坐标系。
Product Geometry Colour（产品几何颜色）	通用用法	无可用描述
Product Geometry Layer（产品几何图层）	通用用法	无可用描述
Product Local Placement（产品局部放置）	通用用法	无可用描述
Product Relative Positioning（产品相对定位）	通用用法	如果 IfcProduct 的 Product Placement 相对于 IfcPositioningElement 定位，则此关系涵盖了定位 IfcProduct 的 IfcPositioningElement 的信息。
Product Span Positioning（产品跨度定位）	通用用法	无可用描述
Product Topology Representation（产品拓扑表示）	通用用法	无可用描述
Property Sets for Objects（对象属性集）	通用用法	此概念可应用于以下资源 Pset_Risk Pset_Tolerance Pset_Uncertainty
Quantity Sets（工程量集）	通用用法	此概念可应用于以下资源 Qto_BodyGeometryValidation
Reference Geometry（参考几何）	通用用法	无可用描述
Reference SweptSolid Geometry（参考扫掠实体几何）	通用用法	无可用描述
Reference SweptSolid PolyCurve Geometry（参考扫掠实体多段线几何）	通用用法	无可用描述
Reference Tessellation Geometry（参考镶嵌几何）	通用用法	无可用描述
IfcElement (44)
Body AdvancedBrep Geometry（主体高级边界表示几何）	通用用法	IfcElement（到目前为止在其子类型或视图定义中没有进一步的约束）可以表示为单个或多个边界表示模型，其中包括高级曲面，通常称为 NURBS 曲面。“AdvancedBrep”表示允许表示复杂的自由形状构件。
Body AdvancedSwept Directrix Geometry（主体高级扫掠实体直接曲线几何）	通用用法	无可用描述
Body AdvancedSwept DiskSolid PolyCurve Geometry（主体高级扫掠圆盘实体多曲线几何）	通用用法	无可用描述
Body AdvancedSwept Tapered Geometry（主体高级扫掠锥形几何）	通用用法	无可用描述
Body AdvancedSweptSolid Geometry（主体高级扫掠实体几何）	通用用法	无可用描述
Body Brep Geometry（主体边界表示几何）	通用用法	任何 IfcElement（到目前为止在其子类型中没有进一步的约束）可以表示为单个或多个边界表示模型（这些模型被限制为具有或不具有孔洞的面片 Brep）。Brep 表示允许表示复杂的构件形状。
Body CSG Geometry（主体CSG几何）	通用用法	任何 IfcElement（到目前为止在其子类型中没有进一步的约束）可以表示为 CSG 基元或 CSG 树。CSG 表示允许表示复杂的构件形状。
Body Clipping Geometry（主体裁剪几何）	通用用法	无可用描述
Body SectionedSolidHorizontal（主体分段实体水平几何）	通用用法	无可用描述
Body SurfaceModel Geometry（主体表面模型几何）	通用用法	任何 IfcElement（到目前为止在其子类型中没有进一步的约束）可以表示为单个或多个表面模型，这些模型基于壳体或面体表面模型。它还可以包括镶嵌模型。
Body SurfaceOrSolidModel Geometry（主体表面或实体模型几何）	通用用法	任何 IfcElement（到目前为止在其子类型中没有进一步的约束）可以表示为混合表示，包括表面模型和实体模型。
Body SweptSolid Composite Geometry（主体扫掠实体复合几何）	通用用法	无可用描述
Body SweptSolid CompositeCurve Geometry（主体扫掠实体复合曲线几何）	通用用法	无可用描述
Body SweptSolid Geometry（主体扫掠实体几何）	通用用法	无可用描述
Body SweptSolid ParameterizedProfile Geometry（主体扫掠实体参数化轮廓几何）	通用用法	无可用描述
Body SweptSolid PolyCurve Geometry（主体扫掠实体多曲线几何）	通用用法	无可用描述
Body Tessellation Geometry（主体镶嵌几何）	参考视图	任何 IfcElement（到目前为止在其子类型中没有进一步的约束）可以表示为单个或多个镶嵌表面模型，特别是三角化表面模型。
Box Geometry（盒子几何）	通用用法
CoG Geometry（CoG几何）	通用用法	“CoG”（重心）形状表示用于通过比较导入几何体的重心与创建的显式提供的重心来验证正确导入。
Element Covering（构件覆盖）	通用用法	无可用描述
Element Interference（构件干涉）	通用用法	无可用描述
Element Nesting（构件嵌套）	通用用法	主体构件可以嵌套连接的组件。当存在特定的安装位置或外形尺寸来安装特定构件时，应使用此方法。
Element Occurrence Attributes（构件实例特性）	通用用法	无可用描述
Element Projecting（构件投影）	通用用法	无可用描述
Element Voiding Features（挖空特征）	通用用法	无可用描述
Element Voiding（构件开洞）	通用用法	无可用描述
FootPrint Annotation Geometry（楼板平面注释几何）	通用用法	无可用描述
FootPrint GeomSet PolyCurve Geometry（楼板平面几何集多段线几何）	通用用法	无可用描述
FootPrint Geometry（楼板平面几何）	通用用法	无可用描述
Lighting Geometry（照明几何）	通用用法	无可用描述
Mapped Geometry（映射几何）	通用用法	任何 IfcElement（到目前为止在其子类型中没有进一步的约束）都可以使用“MappedRepresentation”进行表示。此用法应得到支持，因为它允许在同一类型的所有实例中复用该类型的几何定义。结果是更紧凑的数据集。 为 'SurfaceOrSolidModel'、'SurfaceModel'、'Tessellation'、'Brep' 和 'AdvancedBrep' 几何表示规定的相同约束应同样适用于 IfcRepresentationMap。
Object Typing（对象类型化）	通用用法	此概念可应用于以下资源 IfcElementType
Product Grid Placement（产品轴网定位）	通用用法	无可用描述
Product Linear Placement（产品线性放置）	通用用法	具有 Product Linear Placement 模板的产品放置。它定义了基于曲线的局部坐标系，该曲线由 IfcLinearPlacement.RelativePlacement 引用，而 IfcLinearPlacement.RelativePlacement 是一个 IfcAxis2PlacementLinear.Location，使用 IfcPointByDistanceExpression.BasisCurve。局部坐标系基于曲线在 Location 处的切线、其在全局 Z 平面上的法线以及上述向量的叉积。
Product Local Placement（产品局部放置）	通用用法	任何 IfcElement 子类型的对象放置由 IfcObjectPlacement 定义，可以是 IfcLocalPlacement 或 IfcGridPlacement，它定义了由该 IfcElement 的所有几何表示引用的局部对象坐标系。
Profile 3D Geometry（型材几何（3D））	通用用法	无可用描述
Profile Geometry（型材几何）	通用用法	无可用描述
Property Sets for Objects（对象属性集）	通用用法	此概念可应用于以下资源 Pset_Condition Pset_InstallationOccurrence Pset_MaintenanceStrategy Pset_MaintenanceTriggerCondition Pset_MaintenanceTriggerDuration Pset_MaintenanceTriggerPerformance Pset_RepairOccurrence Pset_ConstructionAdministration Pset_ConstructionOccurence Pset_ElementKinematics Pset_EnvironmentalCondition Pset_EnvironmentalImpactIndicators Pset_EnvironmentalImpactValues Pset_ManufacturerOccurrence Pset_ManufacturerTypeInformation Pset_ServiceLife Pset_Warranty
Spatial Containment（空间包含关系）	通用用法	此概念可应用于以下资源 IfcSpatialElement
Surface 3D Geometry（表面三维几何）	通用用法	无可用描述
Surface Feature Adherence（表面特征附着）	通用用法	无可用描述
Surface Geometry（表面几何）	通用用法	无可用描述
Surface Sectioned Geometry（表面分段几何）	通用用法	无可用描述
Surface Tessellation Geometry（表面镶嵌几何）	通用用法	无可用描述
IfcBuiltElement (3)
Object Typing（对象类型化）	通用用法	此概念可应用于以下资源 IfcBuiltElementType
Product Assignment（产品指定）	通用用法	此概念可应用于以下资源 IfcTask
Surface 3D Geometry（表面三维几何）	通用用法	某些 IfcBuiltElement 可以由曲面表示，作为抽象几何表示。有关具体指导，请参阅每个子类型。
点击显示 81 个隐藏的继承概念 点击隐藏 81 个继承概念
IfcCovering (9)
Body SweptSolid Geometry（主体扫掠实体几何）	通用用法	以下附加约束适用于 IfcCovering 的 'SweptSolid' 表示： 对于平面基面 - 扫描面积表示 对于圆柱形基面 - 扫描面积表示
Material Layer Set Usage（材料层集使用）	通用用法	无可用描述
Material Profile Set Usage（材料剖面集使用）	通用用法	无可用描述
Material Set（材料集）	通用用法	表面覆盖层（天花板、地板、覆层、天花板、屋面）可能具有根据层定义的材料。 边缘覆盖层（装饰线条、踢脚板）可能具有根据剖面定义的材料。 此概念可应用于以下资源 Front - 基于层的覆盖层（如石膏板纸）的可选正面材料。 Fill - 基于层的覆盖层（如石膏板石膏）的实体材料。 Back - 基于层的覆盖层（如石膏板纸）的可选背面材料。 Trim - 装饰条（如冠顶装饰线条或底座装饰线条）的剖面。 Lining Finish
Object Typing（对象类型化）	通用用法	此概念可应用于以下资源 IfcCoveringType
Property Sets for Objects（对象属性集）	通用用法	此概念可应用于以下资源 Pset_CoveringCommon Pset_CoveringFlooring (仅适用于 FLOORING) Pset_CoveringTypeMembrane (仅适用于 MEMBRANE) Pset_Tiling
Quantity Sets（工程量集）	通用用法	此概念可应用于以下资源 Qto_CoveringBaseQuantities
Spatial Containment（空间包含关系）	通用用法	IfcCovering 在层次化空间结构中具有包容关系。 IfcCovering 使用对象化关系 IfcRelContainedInSpatialStructure 放置在项目空间层次结构中，通过其反向属性 SELF\IfcElement.ContainedInStructure 引用它。 IfcSpatialStructureElement 的子类型是有效的空间容器，其中 IfcSpace 是默认容器。
Surface Geometry（表面几何）	通用用法	以下附加约束适用于 IfcCovering 的 'GeometricSet' 表示： 对于平面基面 - 有界表面表示 对于圆柱形基面 - 扫描表面表示

6.1.3.12.7 形式化表示

ENTITY IfcCovering
 SUBTYPE OF (IfcBuiltElement);
	PredefinedType : OPTIONAL IfcCoveringTypeEnum;
 INVERSE
	CoversSpaces : SET [0:1] OF IfcRelCoversSpaces FOR RelatedCoverings;
	CoversElements : SET [0:1] OF IfcRelCoversBldgElements FOR RelatedCoverings;
 WHERE
	CorrectPredefinedType : NOT(EXISTS(PredefinedType)) OR
 (PredefinedType <> IfcCoveringTypeEnum.USERDEFINED) OR
 ((PredefinedType = IfcCoveringTypeEnum.USERDEFINED) AND EXISTS (SELF\IfcObject.ObjectType));
	CorrectTypeAssigned : (SIZEOF(IsTypedBy) = 0) OR
  ('IFC4X3_DEV_62887e3f.IFCCOVERINGTYPE' IN TYPEOF(SELF\IfcObject.IsTypedBy[1].RelatingType));
END_ENTITY;

6.1.3.12.8 参考

• IfcBuiltElement
• IfcRelCoversBldgElements
• IfcRelCoversSpaces