8.11.2.29 IfcHeatingValueMeasure（热值度量）
8.11.2.29.1 语义定义（Semantic definition）
IfcHeatingValueMeasure 定义了燃料燃烧时释放的能量值（通常以 MJ/kg 为单位）。
8.11.2.29.2 形式化命题（Formal propositions）
8.11.2.29.3 形式化表示（Formal representation）
TYPE IfcHeatingValueMeasure = REAL;
WHERE
WR1 : SELF > 0.;
END_TYPE;