IFC 4.3.2.20240904 (IFC4X3_ADD2) under development

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

Edit on Github


Is this page difficult to understand? Let us know!