8.5.2.10 IfcTime（时间）
8.5.2.10.1 语义定义（Semantic definition）
IfcTime 用于标识一天中的具体时间，通过时、分、秒表示。它采用符合特定词法表示的字符串值进行表达。
IfcTime 的词法表示为：hh:mm:ss，其中 hh 表示小时，mm 表示分钟，ss 表示秒。如需提高秒的小数精度，可使用附加数字，即格式 ss.ss...。时区指示符可通过与协调世界时（UTC）的差值表示，以 [+/-] 符号开头后接 hh，可选择性地添加 :mm。
8.5.2.10.2 形式化表示（Formal representation）
TYPE IfcTime = STRING;
END_TYPE;