该页全部中文内容仅供20252453-T-424 项目组内部使用

20252453-T-424 项目

8.11.2.72 IfcPositivePlaneAngleMeasure（正平面角度量）

8.11.2.72.1 语义定义（Semantic definition）

IfcPositivePlaneAngleMeasure 是一种大于零的平面角度量。

类型：IfcPlaneAngleMeasure

8.11.2.72.2 形式化命题（Formal propositions）

WR1	<html><body><p>正度量应大于零。</p></body></html> SELF > 0.

表 8.11.2.72.A

8.11.2.72.3 形式化表示（Formal representation）

TYPE IfcPositivePlaneAngleMeasure = IfcPlaneAngleMeasure;
 WHERE
	 WR1 : SELF > 0.;
END_TYPE;

8.11.2.72.4 参考（References）