8.11.2.72 IfcPositivePlaneAngleMeasure（正平面角度量）
8.11.2.72.1 语义定义
IfcPositivePlaneAngleMeasure 是一种大于零的平面角度量。
8.11.2.72.2 形式化命题
8.11.2.72.3 形式化表示
TYPE IfcPositivePlaneAngleMeasure = IfcPlaneAngleMeasure;
WHERE
WR1 : SELF > 0.;
END_TYPE;IFC 4.3.2.20260714 (IFC4X3_ADD2) under development
IfcPositivePlaneAngleMeasure 是一种大于零的平面角度量。
TYPE IfcPositivePlaneAngleMeasure = IfcPlaneAngleMeasure;
WHERE
WR1 : SELF > 0.;
END_TYPE;