IFC 4.3.0.0 (IFC4X3) final

8.11.2.29 IfcHeatingValueMeasure

8.11.2.29.1 Semantic definition

IfcHeatingValueMeasure defines the amount of energy released (usually in MJ/kg) when a fuel is burned.

8.11.2.29.2 Formal Propositions

WR1
SELF > 0.
Table 8.11.2.29.A

8.11.2.29.3 Formal representation

TYPE IfcHeatingValueMeasure = REAL;
 WHERE
	 WR1 : SELF > 0.;
END_TYPE;

8.11.2.29.4 References