半空间实体通过一个基曲面将域分成两部分。通常，基面是一个平面，它将无限空间分成两部分，通过与平面法线的一致或不一致来表示半空间的边。
下图说明了给定坐标系中IfcHalfSpaceSolid的定义。基面由无界平面给出，红色边界仅用于可视化目的。
注：定义根据ISO/CD 10303-42:1992
半空间实体是由位于无界曲面一侧的域的正则子集半空间定义的。半空间中曲面的边由曲面法线和一致标志确定。如果agreement标志为TRUE，则子集是法线指向的子集。如果agreement标志为FALSE，则该子集就是法线指向的子集。
对于一个有效的半空间实体，表面应将该域精确地分为两个子集。此外，在域内，曲面应为流形，所有曲面法线应指向同一子集。
注意：半空间不是实体模型的子类型，半空间实体仅用作布尔表达式中的操作数。
注：实体改编自ISO 10303-42中定义的半空间_实体。
IFC1.5中的历史新实体
非正式提议：
基面应将该区域精确划分为两个子集。如果半空间实体属于子类型boxed half space（IfcBoxedHalfSpace），则所讨论的域就是属性enclosure的域。在所有其他情况下，该区域为所有空间，且基础表面应无边界。
基面应为无边界表面（IfcElementarySurface的子类型）。
| # | Attribute | Type | Cardinality | Description | C |
|---|---|---|---|---|---|
| IfcRepresentationItem | |||||
| LayerAssignment | IfcPresentationLayerAssignment @AssignedItems |
S[0:1] | Assignment of the representation item to a single or multiple layer(s). The LayerAssignments can override a LayerAssignments of the IfcRepresentation it is used within the list of Items. | X | |
| StyledByItem | IfcStyledItem @Item |
S[0:1] | Reference to the IfcStyledItem that provides presentation information to the representation, e.g. a curve style, including colour and thickness to a geometric curve. | X | |
| IfcGeometricRepresentationItem | |||||
| IfcHalfSpaceSolid | |||||
| 1 | BaseSurface | IfcSurface | [1:1] | Surface defining side of half space. | X |
| 2 | AgreementFlag | IfcBoolean | [1:1] | The agreement flag is TRUE if the normal to the BaseSurface points away from the material of the IfcHalfSpaceSolid. Otherwise it is FALSE. | X |
| Dim :=3 |
IfcDimensionCount | [1:1] | The space dimensionality of this class, it is always 3 | X | |
EXPRESS Specification
ENTITY IfcHalfSpaceSolid
SUPERTYPE OF(ONEOF(IfcBoxedHalfSpace, IfcPolygonalBoundedHalfSpace))
SUBTYPE OF (IfcGeometricRepresentationItem);
BaseSurface : IfcSurface;
AgreementFlag : IfcBoolean;
DERIVE
Dim : IfcDimensionCount := 3;
END_ENTITY;