8.9.2.1 IfcArcIndex（弧索引）
8.9.2.1.1 语义定义（Semantic definition）
IfcArcIndex 通过提供索引列表来描述多义曲线内的单个圆弧段。第一个索引是圆弧的起点，第二个索引是圆弧上的点，第三个索引是圆弧的终点。这三个点不应共线。
非形式命题
- 第二个索引（解析为圆弧上的点）应解析为与圆弧起点和终点距离大致相等的笛卡尔点。这是为了避免数值不稳定性，如果圆弧上的点太靠近起点或终点。
8.9.2.1.2 形式化表示（Formal representation）
TYPE IfcArcIndex = LIST [3:3] OF IfcPositiveInteger;
END_TYPE;