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}
|
Table 8.11.2.66.A
8.11.2.66.3 Formal representation
| TYPE IfcPHMeasure = REAL; |
| WHERE |
| WR21 : {0.0 <= SELF <= 14.0}; |
| END_TYPE; |
8.11.2.66.4 References