Natural language names
enPositive Ratio Measure
frMesure 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
WR1A positive measure shall be greater than zero.
Formal representations
XSD Specification
 <xs:simpleType name="IfcPositiveRatioMeasure">
  <xs:restriction base="ifc:IfcRatioMeasure"/>
 <xs:element name="IfcPositiveRatioMeasure-wrapper" nillable="true">
    <xs:extension base="ifc:IfcPositiveRatioMeasure">
     <xs:attributeGroup ref="ifc:instanceAttributes"/>
EXPRESS Specification
TYPE IfcPositiveRatioMeasure = IfcRatioMeasure;
  WR1 : SELF > 0.

Link to EXPRESS-G diagram EXPRESS-G diagram

Link to this page  Link to this page