8.20.3.10 IfcFaceSurface（面曲面）
8.20.3.10.1 语义定义（Semantic definition）
IfcFaceSurface 定义了与面相关联的底层曲面几何。
注意：拓扑用于修剪曲面的几何形状。无需对曲面进行几何修剪以匹配拓扑。
注意 根据 ISO/CD 10303-42:1992 的定义 面曲面是面的一种子类型，其几何形状由相关联的曲面定义。面所使用的曲面部分应可作为开圆盘（可能带有孔洞）嵌入平面。然而，面与其边界环的边和顶点的并集不一定能够嵌入平面。例如，它可以覆盖整个球体或环面。由于面和几何曲面都具有定义的法线方向，因此使用布尔标志（方向属性）来指示曲面法线是与面法线方向一致（TRUE）还是相反（FALSE）。面环的任何组成部分所关联的几何形状应与曲面几何形状一致，即所有顶点和边曲线的定义域都包含在面几何曲面中。一个曲面可以被多个面曲面引用。
注意 实体改编自 ISO 10303-42 中定义的 face_surface。
非正式命题
- 面曲面的定义域被正式定义为其面几何被环修剪后的定义域，该定义域不包括边界环。
- 面曲面具有非零有限范围。
- 面曲面是流形。
- 面曲面是弧连通的。
- 面曲面具有曲面亏格 0。
- 环不是面定义域的一部分。
- 环几何应与面几何一致。这意味着用于定义面曲面边界的任何边曲线或顶点都应位于面几何上。
- 面的环不应相交。
8.20.3.10.2 实体继承（Entity inheritance）
8.20.3.10.3 特性（Attributes）
| # | 特性（Attributes） | 类型 | 描述 |
|---|---|---|---|
| IfcRepresentationItem (2) | |||
| IfcFace (2) | |||
| 点击显示 4 个隐藏的继承特性 点击隐藏 4 个继承特性 | |||
| IfcFaceSurface (1) | |||
8.20.3.10.4 形式化表示（Formal representation）
ENTITY IfcFaceSurface
SUPERTYPE OF (ONEOF
(IfcAdvancedFace))
SUBTYPE OF (IfcFace);
FaceSurface : IfcSurface;
SameSense : IfcBoolean;
END_ENTITY;