8.11.2.66 IfcPHMeasure（pH值度量）
8.11.2.66.1 语义定义（Semantic definition）
IfcPHMeasure 是液体中氢离子摩尔浓度的度量值（通常定义为酸度度量），其取值范围为0至14。
8.11.2.66.2 形式化命题（Formal propositions）
8.11.2.66.3 形式化表示（Formal representation）
TYPE IfcPHMeasure = REAL;
WHERE
WR21 : {0.0 <= SELF <= 14.0};
END_TYPE;