8.11.2.72 IfcPositivePlaneAngleMeasure
8.11.2.72.1 Semantic definition
An IfcPositivePlaneAngleMeasure is a plane angle measure that is greater than zero.
Type: IfcPlaneAngleMeasure
8.11.2.72.2 Formal Propositions
8.11.2.72.3 Formal representation
TYPE IfcPositivePlaneAngleMeasure = IfcPlaneAngleMeasure;
WHERE
WR1 : SELF > 0.;
END_TYPE;