Natural language names
enNon Negative Length Measure
frMesure de longueur positive ou nulle
Change log
IFC2x3 to IFC4
Semantic definitions at the type
Type definition

A non-negative length measure is a length measure that is greater than or equal to zero.

Type: IfcLengthMeasure

HISTORY  New type in IFC4.
Formal Propositions
NotNegativeA non-negative measure shall be greater than or equal to zero.
Formal representations
XSD Specification
 <xs:simpleType name="IfcNonNegativeLengthMeasure">
  <xs:restriction base="ifc:IfcLengthMeasure"/>
 <xs:element name="IfcNonNegativeLengthMeasure-wrapper" nillable="true">
    <xs:extension base="ifc:IfcNonNegativeLengthMeasure">
     <xs:attributeGroup ref="ifc:instanceAttributes"/>
EXPRESS Specification
TYPE IfcNonNegativeLengthMeasure = IfcLengthMeasure;
  NotNegative : SELF >= 0.

Link to EXPRESS-G diagram EXPRESS-G diagram

Link to this page  Link to this page