该页全部中文内容仅供20252453-T-424 项目组内部使用

20252453-T-424 项目

5.4.3.64 IfcSpace（空间）

5.4.3.64.1 语义定义（Semantic definition）

空间表示实际或理论上界定的区域或体积。空间是建筑物内提供某些功能的区域或体积。

空间与建筑物楼层相关联（或在室外空间的情况下与场地相关联）。一个空间可能跨越多个连接的空间。因此，空间组提供了楼层中包含的空间集合。空间也可以分解为部分，每个部分定义一个部分空间。这由超类型 IfcSpatialStructureElement 的 CompositionType 属性定义，解释如下：

  • COMPLEX = 空间组
  • ELEMENT = 空间
  • PARTIAL = 部分空间

图 5.4.3.64.A 显示了 IfcSpace 作为空间结构的一部分。它也作为空间相关元素的空间容器。

spatial structure
图 5.4.3.64.A — 空间组成

以下指南应适用于 Name、Description、LongName 和 ObjectType 属性的使用。

  • Name 包含图纸中的唯一名称（或空间编号）。
  • Description 包含用户可能指定的任何附加信息字段，没有进一步的建议。
  • LongName 包含空间的完整名称，通常与 Name 属性一起使用。如果为房间分配了编号，则描述性名称作为 LongName 进行交换。
  • ObjectType 包含空间类型，即通常是空间的功能类别。

图 5.4.3.64.B 描述了 IfcSpace 的高度和标高。

  • 空间标高（楼板顶面）等于楼层标高：由 IfcBuildingStorey.Elevation 相对于 IfcBuilding.ElevationOfRefHeight 提供
  • 空间地板标高（楼板上地板顶面）：由 IfcSpace.ElevationWithFlooring 相对于 IfcBuilding.ElevationOfRefHeight 提供
  • 空间高度（下方楼板顶面到上方楼板底面）：由 BaseQuantity 命名为“Height”提供
  • 空间楼层高度（下方楼板顶面到地板顶面）：由 BaseQuantity 命名为“FinishFloorHeight”提供
  • 净空高度（地板顶面到吊顶底面）：由 BaseQuantity 命名为“FinishCeilingHeight”提供
space heights
图 5.4.3.64.B — 空间标高

5.4.3.64.2 实体继承（Entity inheritance）

5.4.3.64.3 特性（Attributes）

# 特性（Attributes） 类型（Type） 描述（Description）
IfcRoot (4)
1 GlobalId IfcGloballyUniqueId

在整个软件世界中分配全局唯一标识符。
2 OwnerHistory OPTIONAL IfcOwnerHistory

分配有关该对象当前所有权的信息，包括所有者参与者、应用程序、本地标识以及捕获到的关于对象近期更改的信息。
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

引用作为嵌套的分解关系。它确定此对象定义是顺序整体/部分分解关系中的一部分。对象实例或类型只能是单个分解的一部分（仅允许分层结构）。
IsNestedBy SET [0:?] OF IfcRelNests FOR RelatingObject

引用作为嵌套的分解关系。它确定此对象定义是顺序整体/部分分解关系中的整体。对象或对象类型可以被多个其他对象（实例或类型）嵌套。
HasContext SET [0:1] OF IfcRelDeclares FOR RelatedDefinitions

引用提供上下文信息的上下文，例如项目单位或表示上下文。它只应断言在最上层的非空间对象上。
IsDecomposedBy SET [0:?] OF IfcRelAggregates FOR RelatingObject

引用作为聚合的分解关系。它确定此对象定义是无序整体/部分分解关系中的整体。对象定义可以被多个其他对象（实例或部分）聚合。
Decomposes SET [0:1] OF IfcRelAggregates FOR RelatedObjects

引用作为聚合的分解关系。它确定此对象定义是无序整体/部分分解关系中的一部分。对象定义只能是单个分解的一部分（仅允许分层结构）。
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 或其子类型的所有反映实例是通用的。
Declares SET [0:?] OF IfcRelDefinesByObject FOR RelatingObject

链接到指向接收对象定义的反向对象的关系对象。反向对象必须是对象实例分解的一部分。关联的 IfcObject 或其子类型提供特定信息（作为类型或样式定义的一部分），该信息对于声明 IfcObject 或其子类型的所有反向实例是通用的。
IsTypedBy SET [0:1] OF IfcRelDefinesByType FOR RelatedObjects

与对象类型的关系集合，该对象类型为此对象实例提供类型定义。然后，关联的 IfcTypeObject 或其子类型包含特定信息（或类型或样式），该信息对于引用同一类型的所有 IfcObject 或其子类型的实例是通用的。
IsDefinedBy SET [0:?] OF IfcRelDefinesByProperties FOR RelatedObjects

与附加到此对象的属性集定义的集合的关系。这些静态或动态定义的特性包含字母数字信息内容，这些内容进一步定义了对象。
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，可用于将产品与一个或多个空间结构元素相关联，除了它主要包含的那个。
IfcSpatialElement (6)
8 LongName OPTIONAL IfcLabel

空间结构构件的长名称，用于非正式目的。如果可用，应与继承的 Name 特性结合使用。
ContainsElements SET [0:?] OF IfcRelContainedInSpatialStructure FOR RelatingStructure

空间包含关系集合，包含项目空间结构中此构件中包含的那些构件。
ServicedBySystems SET [0:?] OF IfcRelServicesBuildings FOR RelatedBuildings

与系统之间的一组关系，这些系统为定义的空间构件提供某种服务。该关系由对象化的关系 IfcRelServicesBuildings 处理。
ReferencesElements SET [0:?] OF IfcRelReferencedInSpatialStructure FOR RelatingStructure

空间参考关系集合，包含项目中在此构件中引用但未包含的那些构件。

Ø\X
IsInterferedByElements SET [0:?] OF IfcRelInterferesElements FOR RelatedElement

引用干涉关系以指示受到干涉的空间构件。如果提供了该关系，则表明此空间构件与一个或多个其他空间构件存在干涉。
InterferesElements SET [0:?] OF IfcRelInterferesElements FOR RelatingElement

引用干涉关系以指示进行干涉的空间构件。如果提供了该关系，则表明此空间构件与一个或多个其他空间构件存在干涉。
IfcSpatialStructureElement (1)
9 CompositionType OPTIONAL IfcElementCompositionEnum

表示预定义的空间结构构件是表示其自身，还是聚合（复合）或部件（part）。解释分别针对空间结构构件的每个子类型给出。如果未声明 CompositionType，则应用默认值 ''ELEMENT''。
点击显示 28 个隐藏的继承特性 点击隐藏 28 个继承特性
IfcSpace (4)
10 PredefinedType OPTIONAL IfcSpaceTypeEnum

预定义的通用空间类型，在枚举中指定。可能存在针对每种预定义类型定义的属性集。
11 ElevationWithFlooring OPTIONAL IfcLengthMeasure

此空间的楼板标高；如果空间地面倾斜或空间内存在标高差异，则应取平均值。
HasCoverings SET [0:?] OF IfcRelCoversSpaces FOR RelatingSpace

通过对象化关系 IfcRelCoversSpaces 对 IfcCovering 的引用。它定义了一个空间分配了覆盖物的概念。这些覆盖物可能代表不同的地板或瓷砖区域。

IFC2x Edition3 变更 新增逆向关系。保证基于文件交换的向上兼容性。
BoundedBy SET [0:?] OF IfcRelSpaceBoundary FOR RelatingSpace

对一组 IfcRelSpaceBoundary 的引用，这些边界定义了该空间相对于物理或虚拟边界的物理或虚拟界定。
表 5.4.3.64.D

5.4.3.64.4 形式化命题（Formal propositions）

名称（Name） 描述（Description）
CorrectPredefinedType

PredefinedType 可不设置，也可设置为非 USERDEFINED 的取值；若取值 USERDEFINED ，则应提供属性继承的 ObjectType 。

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

要么没有关联的空间类型对象，即未提供 IsTypedBy 逆向关系，要么关联的类型对象必须是 IfcSpaceType 类型。

 
(SIZEOF(IsTypedBy) = 0) OR
  ('IFC4X3_DEV_62887e3f.IFCSPACETYPE' IN TYPEOF(SELF\IfcObject.IsTypedBy[1].RelatingType))
表 5.4.3.64.E

5.4.3.64.5 属性集（Property sets）

  • Pset_AirSideSystemInformation
    • Description
    • AirSideSystemType
    • AirSideSystemDistributionType
    • TotalAirFlow
    • EnergyGainTotal
    • AirFlowSensible
    • EnergyGainSensible
    • EnergyLoss
    • InfiltrationDiversitySummer
    • InfiltrationDiversityWinter
    • ApplianceDiversity
    • HeatingTemperatureDelta
    • CoolingTemperatureDelta
    • Ventilation
    • FanPower
  • Pset_BerthCommon BERTH
    • BerthApproach
    • BerthMode
    • BerthingAngle
    • BerthingVelocity
    • AbnormalBerthingFactor
  • Pset_FenderDesignCriteria BERTH
    • CoefficientOfFriction
    • EnergyAbsorptionTolerance
    • MaxReactionTolerance
    • MaximumTemperatureFactor
    • MinimumTemperatureFactor
    • VelocityFactorEnergy
    • VelocityFactorReaction
    • EnergyAbsorption
    • MaxReaction
    • MinCompressedFenderHeight
    • AddedMassCoefficientMethod
  • Pset_ProcessCapacity
    • ProcessItem
    • ProcessCapacity
    • ProcessPerformance
    • DownstreamConnections
    • UpstreamConnections
  • Pset_PropertyAgreement
    • AgreementType
    • TrackingIdentifier
    • AgreementVersion
    • AgreementDate
    • PropertyName
    • CommencementDate
    • TerminationDate
    • Duration
    • Options
    • ConditionCommencement
    • Restrictions
    • ConditionTermination
  • Pset_Risk
    • RiskName
    • RiskType
    • NatureOfRisk
    • RiskAssessmentMethodology
    • UnmitigatedRiskLikelihood
    • UnmitigatedRiskConsequence
    • UnmitigatedRiskSignificance
    • MitigationPlanned
    • MitigatedRiskLikelihood
    • MitigatedRiskConsequence
    • MitigatedRiskSignificance
    • MitigationProposed
    • AssociatedProduct
    • AssociatedActivity
    • AssociatedLocation
  • Pset_SpaceAirHandlingDimensioning
    • CoolingDesignAirFlow
    • HeatingDesignAirFlow
    • SensibleHeatGain
    • TotalHeatGain
    • TotalHeatLoss
    • CoolingDryBulb
    • CoolingRelativeHumidity
    • HeatingDryBulb
    • HeatingRelativeHumidity
    • VentilationDesignAirFlow
    • DesignAirFlow
    • CeilingRAPlenum
    • BoundaryAreaHeatLoss
  • Pset_SpaceCommon
    • Reference
    • IsExternal
    • GrossPlannedArea
    • NetPlannedArea
    • PubliclyAccessible
    • HandicapAccessible
  • Pset_SpaceCoveringRequirements
    • FloorCovering
    • FloorCoveringThickness
    • WallCovering
    • WallCoveringThickness
    • CeilingCovering
    • CeilingCoveringThickness
    • SkirtingBoard
    • SkirtingBoardHeight
    • Molding
    • MoldingHeight
    • ConcealedFlooring
    • ConcealedFlooringOffset
    • ConcealedCeiling
    • ConcealedCeilingOffset
  • Pset_SpaceFireSafetyRequirements
    • FireRiskFactor
    • FlammableStorage
    • FireExit
    • SprinklerProtection
    • SprinklerProtectionAutomatic
    • AirPressurization
  • Pset_SpaceHVACDesign
    • TemperatureSetPoint
    • TemperatureMax
    • TemperatureMin
    • TemperatureSummerMax
    • TemperatureSummerMin
    • TemperatureWinterMax
    • TemperatureWinterMin
    • HumiditySetPoint
    • HumidityMax
    • HumidityMin
    • HumiditySummer
    • HumidityWinter
    • DiscontinuedHeating
    • NaturalVentilation
    • NaturalVentilationRate
    • MechanicalVentilation
    • MechanicalVentilationRate
    • AirConditioning
    • AirConditioningCentral
    • AirHandlingName
  • Pset_SpaceLightingDesign
    • ArtificialLighting
    • Illuminance
  • Pset_SpaceOccupancyRequirements
    • OccupancyType
    • OccupancyNumber
    • OccupancyNumberPeak
    • OccupancyTimePerDay
    • AreaPerOccupant
    • MinimumHeadroom
    • IsOutlookDesirable
  • Pset_SpaceParking PARKING
    • ParkingUse
    • ParkingUnits
    • IsAisle
    • IsOneWay
  • Pset_SpaceThermalLoad
    • People
    • Lighting
    • EquipmentSensible
    • VentilationIndoorAir
    • VentilationOutdoorAir
    • RecirculatedAir
    • ExhaustAir
    • AirExchangeRate
    • DryBulbTemperature
    • RelativeHumidity
    • InfiltrationSensible
    • TotalSensibleLoad
    • TotalLatentLoad
    • TotalRadiantLoad
  • Pset_SpaceThermalLoadPHistory
    • PeopleHistory
    • LightingHistory
    • EquipmentSensibleHistory
    • VentilationIndoorAirHistory
    • VentilationOutdoorAirHistory
    • RecirculatedAirHistory
    • ExhaustAirHistory
    • AirExchangeRateTimeHistory
    • DryBulbTemperatureHistory
    • RelativeHumidityHistory
    • InfiltrationSensibleHistory
    • TotalSensibleLoadHistory
    • TotalLatentLoadHistory
    • TotalRadiantLoadHistory
  • Pset_SpaceThermalPHistory
    • CoolingAirFlowRate
    • HeatingAirFlowRate
    • VentilationAirFlowRateHistory
    • ExhaustAirFlowRate
    • SpaceTemperatureHistory
    • SpaceRelativeHumidity
  • Pset_ThermalLoad
    • OccupancyDiversity
    • LightingDiversity
    • ApplianceDiversity
    • OutsideAirPerPerson
    • ReceptacleLoadIntensity
    • AppliancePercentLoadToRadiant
    • LightingLoadIntensity
    • LightingPercentLoadToReturnAir
    • TotalCoolingLoad
    • TotalHeatingLoad
    • InfiltrationDiversitySummer
    • InfiltrationDiversityWinter
    • LoadSafetyFactor
  • 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
  • Qto_BodyGeometryValidation
    • GrossSurfaceArea
    • NetSurfaceArea
    • GrossVolume
    • NetVolume
    • SurfaceGenusBeforeFeatures
    • SurfaceGenusAfterFeatures
  • Qto_SpaceBaseQuantities
    • Height
    • FinishCeilingHeight
    • FinishFloorHeight
    • GrossPerimeter
    • NetPerimeter
    • GrossFloorArea
    • NetFloorArea
    • GrossWallArea
    • NetWallArea
    • GrossCeilingArea
    • NetCeilingArea
    • GrossVolume
    • NetVolume

5.4.3.64.6 概念用法（Concept usage）

概念（Concept） 用法（Usage） 描述（Description）
IfcRoot (2)
Revision Control General

使用 IfcOwnerHistory 捕获所有权、历史记录和合并状态。
Software Identity General

IfcRoot 分配全局唯一 ID。此外，它还可以为概念提供名称和描述。
IfcObjectDefinition (9)
Classification Association General

任何对象实例或对象类型都可以具有对特定分类引用的引用，即对分类系统中特定方面的引用。
Aggregation General

无可用描述

Approval Association General

无可用描述

Constraint Association General

无可用描述

Document Association General

无可用描述

Library Association General

无可用描述

Material Association General

无可用描述

Material Single General

无可用描述

Nesting General

无可用描述

IfcObject (5)
Object Predefined Type General

无可用描述

Object Typing General

任何对象实例都可以通过被分配给一个使用此概念的通用对象类型来类型化。通过在 IfcObject 的子类型级别覆盖此概念，引入了一个限制可分配的 IfcTypeObject 子类型的特定规则。

此概念可应用于以下资源
Object User Identity General

特性 Name 和可选的 Description 可用于 IfcObject 的所有子类型。对于那些具有对象类型定义的子类型，例如 IfcBeam - IfcBeamType，通用的 Name 和可选的 Description 与对象类型相关联。
Property Sets with Override General

任何对象实例都可以拥有属性集，可以直接在对象实例上作为元素特定的属性集，也可以在对象类型上作为类型属性集。在这种情况下，提供给对象实例的特性是元素特定特性和类型特性的组合。如果在实例和类型特性中都定义了相同的特性（在同一属性集中），则实例特性的特性值将覆盖类型特性的特性值。
Assignment to Group General

无可用描述

IfcProduct (18)
Body Geometry General

IfcProduct 的主体或实体模型几何表示通常使用镶嵌（Tessellation）或边界表示（Brep）定义。子类型可以提供关于其他可用表示类型的建议。持有此几何表示的 IfcShapeRepresentation 的以下属性值应被使用：
Product Geometric Representation General

任何 IfcProduct 的几何表示由 IfcProductDefinitionShape 提供，允许进行多个几何表示。它使用 Product Placement 概念，利用 IfcLocalPlacement 建立对象坐标系，所有几何表示都基于该坐标系。
Product Geometry Colour General

无可用描述

Product Geometry Layer General

无可用描述

Product Relative Positioning General

如果 IfcProduct 的 Product Placement 相对于 IfcPositioningElement 定位，则此关系涵盖了定位 IfcProduct 的 IfcPositioningElement 的信息。
Product Span Positioning General

无可用描述

Box Geometry General

无可用描述

CoG Geometry General

无可用描述

Mapped Geometry General

无可用描述

Object Typing General

此概念可应用于以下资源
Product Local Placement General

无可用描述

Product Topology Representation General

无可用描述

Property Sets for Objects General

此概念可应用于以下资源
Quantity Sets General

此概念可应用于以下资源
Reference Geometry General

无可用描述

Reference SweptSolid Geometry General

无可用描述

Reference SweptSolid PolyCurve Geometry General

无可用描述

Reference Tessellation Geometry General

无可用描述

IfcSpatialElement (11)
Body Geometry General

空间构件通常不提供实体几何，而是依赖于其组成构件。如果需要公开独立的几何表示，则可以提供实体几何。此几何通常由其外部构件或体积边界表示。
FootPrint GeomSet Geometry General

无可用描述

Group Spatial Connectivity General

无可用描述

Property Sets for Objects General

此概念可应用于以下资源
Spatial Interference General

无可用描述

Spatial Interference With Zones General

无可用描述

Object Typing General

此概念可应用于以下资源
Property Sets for Performance General

此概念可应用于以下资源
Spatial Container General

此概念可应用于以下资源
Spatial Element Attributes General

无可用描述

Spatial Service Connectivity General

无可用描述

IfcSpatialStructureElement (2)
Property Sets for Objects General

此概念可应用于以下资源
Object Typing General

此概念可应用于以下资源
点击显示 47 个隐藏的继承概念 点击隐藏 47 个继承概念
IfcSpace (11)
FootPrint GeomSet Geometry General

以下约束适用于二维表示：

2d representation
图 5.4.3.64.C — 空间平面图
Product Local Placement General

IfcSpace 的局部放置在其超类型 IfcProduct 中定义。它由 IfcLocalPlacement 定义，该定义定义了所有几何表示引用的局部坐标系。
Property Sets for Objects General

此概念可应用于以下资源
Quantity Sets General

此概念可应用于以下资源
Space Attributes General

无可用描述

Space Boundaries 1st Level General

无可用描述

Space Boundaries 2nd Level General

无可用描述

Spatial Composition General

通过使用逆向关系 IfcSpace.IsDecomposedBy，它通过 IfcRelAggregates.RelatedObjects 引用 IfcSpace。如果它引用另一个 IfcSpace 实例，则引用的 IfcSpace 需要具有不同且较低的 CompositionType，即 ELEMENT（如果另一个 IfcSpace 为 COMPLEX），或 PARTIAL（如果另一个 IfcSpace 为 ELEMENT）。

此概念可应用于以下资源
Spatial Container General

如果存在直接与 IfcSpace 相关的建筑物元素和/或其它元素（如大多数家具和分配元素），则通过使用对象化关系 IfcRelContainedInSpatialStructure 将它们与 IfcSpace 相关联。IfcSpace 通过其逆向关系引用它们：
Spatial Decomposition General

通过使用逆向关系 IfcSpace.Decomposes，它通过 IfcRelAggregates.RelatingObject 引用 IfcSite || IfcBuildingStorey || IfcSpace。如果它引用另一个 IfcSpace 实例，则引用的 IfcSpace 需要具有不同且更高的 CompositionType，即 COMPLEX（如果另一个 IfcSpace 为 ELEMENT），或 ELEMENT（如果另一个 IfcSpace 为 PARTIAL）。

此概念可应用于以下资源
Object Typing General

此概念可应用于以下资源
表 5.4.3.64.F

5.4.3.64.7 形式化表示（Formal representation） 

ENTITY IfcSpace
 SUBTYPE OF (IfcSpatialStructureElement);
	PredefinedType : OPTIONAL IfcSpaceTypeEnum;
	ElevationWithFlooring : OPTIONAL IfcLengthMeasure;
 INVERSE
	HasCoverings : SET [0:?] OF IfcRelCoversSpaces FOR RelatingSpace;
	BoundedBy : SET [0:?] OF IfcRelSpaceBoundary FOR RelatingSpace;
 WHERE
	CorrectPredefinedType : NOT(EXISTS(PredefinedType)) OR
 (PredefinedType <> IfcSpaceTypeEnum.USERDEFINED) OR
 ((PredefinedType = IfcSpaceTypeEnum.USERDEFINED) AND EXISTS (SELF\IfcObject.ObjectType));
	CorrectTypeAssigned : (SIZEOF(IsTypedBy) = 0) OR
  ('IFC4X3_DEV_62887e3f.IFCSPACETYPE' IN TYPEOF(SELF\IfcObject.IsTypedBy[1].RelatingType));
END_ENTITY;

5.4.3.64.8 参考（References）