IfcPositiveRatioMeasure

BACnet MVD

#### IfcPositiveRatioMeasure

Natural language names

| Positive Ratio Measure
| Mesure de ratio positif

##### Semantic definitions at the type

Type definition

An IfcPositiveRatioMeasure is a ratio measure that is greater than zero.

Type: IfcRatioMeasure

> NOTE Type adapted from positive_ratio_measure defined in ISO 10303-41.

> HISTORY New type in IFC1.5.1.

Formal Propositions

Rule | Description
--- | ---
WR1 | A positive measure shall be greater than zero.

##### Formal representations

XML Specification
`<xs:simpleType name="IfcPositiveRatioMeasure">
<xs:restriction base="ifc:IfcRatioMeasure"/>
</xs:simpleType>
`
EXPRESS Specification
`TYPE IfcPositiveRatioMeasure = IfcRatioMeasure;
WHERE
WR1 : SELF > 0.
END_TYPE;

EXPRESS-G diagram

`

References: IfcCurrencyRelationship IfcResourceTime IfcTaskTime IfcMeasureValue IfcCurveStyleFontAndScaling IfcFillAreaStyleTiles IfcSizeSelect IfcGeometricRepresentationSubContext

Link to this page