8.11.2.66 IfcPHMeasure
8.11.2.66.1 Semantic definition
IfcPHMeasure is a measure of the molar hydrogen ion concentration in a liquid (usually defined as the measure of acidity) in a range from 0 to 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;