8.17.3.6 IfcQuantityLength

8.17.3.6.1 Semantic definition

IfcQuantityLength is a physical quantity that defines a derived length measure to provide an element's physical property. It is normally derived from the physical properties of the element under the specific measure rules given by a method of measurement.

8.17.3.6.5 Formal representation

ENTITY IfcQuantityLength
SUBTYPE OF (IfcPhysicalSimpleQuantity);
LengthValue : IfcLengthMeasure;
Formula : OPTIONAL IfcLabel;
WHERE
WR21 : NOT(EXISTS(SELF\IfcPhysicalSimpleQuantity.Unit)) OR
(SELF\IfcPhysicalSimpleQuantity.Unit.UnitType = IfcUnitEnum.LENGTHUNIT);
WR22 : LengthValue >= 0.;
END_ENTITY;