8.11.2.72 IfcPositivePlaneAngleMeasure（正平面角度量）
8.11.2.72.1 语义定义（Semantic definition）
IfcPositivePlaneAngleMeasure 是一种大于零的平面角度量。
8.11.2.72.2 形式化命题（Formal propositions）
8.11.2.72.3 形式化表示（Formal representation）
TYPE IfcPositivePlaneAngleMeasure = IfcPlaneAngleMeasure;
WHERE
WR1 : SELF > 0.;
END_TYPE;