8.5.2.7 IfcMonthInYearNumber（年中月数）
8.5.2.7.1 语义定义
IfcMonthInYearNumber 是一个整数，用于定义指定月份在一年中的位置。
日历月份数字与日历月份名称的对应关系如下：
- 1：一月，
- 2：二月，
- 3：三月，
- 4：四月，
- 5：五月，
- 6：六月，
- 7：七月，
- 8：八月，
- 9：九月，
- 10：十月，
- 11：十一月，
- 12：十二月。
类型：INTEGER
8.5.2.7.2 形式化命题
| 名称 | 描述 |
|---|---|
| ValidRange | <html><body><p>月份在一年中定位的有效范围为最小值包含 = 1，最大值包含 = 12。</p></body></html>{1 <= SELF <= 12} |
8.5.2.7.3 形式化表示
TYPE IfcMonthInYearNumber = INTEGER;
WHERE
ValidRange : {1 <= SELF <= 12};
END_TYPE;