8.5.2.5 IfcDayInWeekNumber（周中日数）
8.5.2.5.1 语义定义（Semantic definition）
_IfcDayInWeekNumber_ 是一个整数，用于定义指定日期在一周中的位置。这些位置具有以下含义，将一周中的序号日映射到日历日的名称。
序号日与日历日的映射关系如下：
- 1: 星期一
- 2: 星期二
- 3: 星期三
- 4: 星期四
- 5: 星期五
- 6: 星期六
- 7: 星期日
8.5.2.5.2 形式化命题（Formal propositions）
| ValidRange | <html><body><p>在一周中定位某一天的有效范围是：最小值包含 1，最大值包含 7。</p></body></html>{1 <= SELF <= 7}
|
8.5.2.5.3 形式化表示（Formal representation）
TYPE IfcDayInWeekNumber = INTEGER;
WHERE
ValidRange : {1 <= SELF <= 7};
END_TYPE;