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
WR21 | <html><body><p>The pH value shall be in the range from 0 to 14.</p></body></html>{0.0 <= SELF <= 14.0} |
8.11.2.66.3 Formal representation
TYPE IfcPHMeasure = REAL;
WHERE
WR21 : {0.0 <= SELF <= 14.0};
END_TYPE;