8.11.2.29 IfcHeatingValueMeasure(热值度量)
8.11.2.29.1 语义定义
IfcHeatingValueMeasure 定义了燃料燃烧时释放的能量值(通常以 MJ/kg 为单位)。
沿革 这是 IFC2x2 中的新类型。
8.11.2.29.2 形式化命题
8.11.2.29.3 形式化表示
TYPE IfcHeatingValueMeasure = REAL;
WHERE
WR1 : SELF > 0.;
END_TYPE;
IFC 4.3.2.20260714 (IFC4X3_ADD2) under development
IfcHeatingValueMeasure 定义了燃料燃烧时释放的能量值(通常以 MJ/kg 为单位)。
沿革 这是 IFC2x2 中的新类型。
TYPE IfcHeatingValueMeasure = REAL;
WHERE
WR1 : SELF > 0.;
END_TYPE;