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;