8.5.2.4 IfcDayInMonthNumber（月中日数）
8.5.2.4.1 语义定义（Semantic definition）
IfcDayInMonthNumber 是一个用于定义指定日期在月份中位置的整数。
类型：INTEGER
8.5.2.4.2 形式化命题（Formal propositions）
| ValidRange | <html><body><p>用于定位月份中日期的有效值域为：最小值包含1，最大值包含31。</p></body></html>{1 <= SELF <= 31}
|
8.5.2.4.3 形式化表示（Formal representation）
TYPE IfcDayInMonthNumber = INTEGER;
WHERE
ValidRange : {1 <= SELF <= 31};
END_TYPE;