8.11.2.73 IfcPositiveRatioMeasure（正比率度量）
8.11.2.73.1 语义定义（Semantic definition）
IfcPositiveRatioMeasure 是一种大于零的比率度量。
8.11.2.73.2 形式化命题（Formal propositions）
8.11.2.73.3 形式化表示（Formal representation）
TYPE IfcPositiveRatioMeasure = IfcRatioMeasure;
WHERE
WR1 : SELF > 0.;
END_TYPE;