IFC 4.3.x development IfcDerivedUnit Semantic definitions at the entity

NOTE  Definition according to ISO/CD 10303-41:1992
A derived unit is an expression of units.

EXAMPLE  Newton per square millimetre is a derived unit.

NOTE  Corresponding ISO 10303 name: derived_unit, please refer to ISO/IS 10303-41 for the final definition of the formal standard.

HISTORY  New entity in IFC1.5.1. Attributes

# Attribute Type Description
1 Elements SET [1:?] OF IfcDerivedUnitElementThe group of units and their exponents that define the derived unit.
2 UnitType IfcDerivedUnitEnum Name of the derived unit chosen from an enumeration of derived unit types for use in IFC models.
3 UserDefinedTypeOPTIONAL IfcLabel
Dimensions INVALID Dimensional exponents derived using the function IfcDerivedDimensionalExponents using (SELF) as the input value. Entity inheritance

dot_inheritance IfcDerivedUnit IfcDerivedUnit Formal representations

ENTITY IfcDerivedUnit;
	Elements : SET [1:?] OF IfcDerivedUnitElement;
	UnitType : IfcDerivedUnitEnum;
	UserDefinedType : OPTIONAL IfcLabel;
	 Dimensions : IfcDimensionalExponents := IfcDeriveDimensionalExponents(Elements);
	WR1 : (SIZEOF (Elements) > 1) OR ((SIZEOF (Elements) = 1) AND (Elements[1].Exponent <> 1 ));
	WR2 : (UnitType <> IfcDerivedUnitEnum.USERDEFINED) OR
((UnitType = IfcDerivedUnitEnum.USERDEFINED) AND