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