IfcPositiveLengthMeasure

BACnet MVD

#### IfcPositiveLengthMeasure

Natural language names

| Positive Length Measure
| Mesure de longueur positive

##### Semantic definitions at the type

Type definition

An IfcPositiveLengthMeasure is a length measure that is greater than zero.

Type: IfcLengthMeasure

> NOTE Type adapted from positive_length_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="IfcPositiveLengthMeasure">
<xs:restriction base="ifc:IfcLengthMeasure"/>
</xs:simpleType>
`
EXPRESS Specification
`TYPE IfcPositiveLengthMeasure = IfcLengthMeasure;
WHERE
WR1 : SELF > 0.
END_TYPE;

EXPRESS-G diagram

`

References: IfcDoor IfcStairFlight IfcWindow IfcMechanicalFastener IfcMechanicalFastenerType IfcDoorLiningProperties IfcDoorPanelProperties IfcPermeableCoveringProperties IfcWindowLiningProperties IfcWindowPanelProperties IfcStructuralSurfaceMember IfcReinforcingBar IfcReinforcingBarType IfcReinforcingMesh IfcReinforcingMeshType IfcTendon IfcTendonType IfcBlock IfcBoundingBox IfcExtrudedAreaSolid IfcRectangularPyramid IfcRightCircularCone IfcRightCircularCylinder IfcSphere IfcSweptDiskSolid IfcSweptDiskSolidPolygonal IfcCircle IfcCylindricalSurface IfcEllipse IfcSphericalSurface IfcToroidalSurface IfcMaterialLayerSetUsage IfcMaterialProfileSetUsage IfcMeasureValue IfcCurveStyleFontPattern IfcHatchLineDistanceSelect IfcSizeSelect IfcLightSourcePositional IfcAsymmetricIShapeProfileDef IfcCenterLineProfileDef IfcCircleHollowProfileDef IfcCircleProfileDef IfcCShapeProfileDef IfcEllipseProfileDef IfcIShapeProfileDef IfcLShapeProfileDef IfcRectangleHollowProfileDef IfcRectangleProfileDef IfcReinforcementBarProperties IfcRoundedRectangleProfileDef IfcTrapeziumProfileDef IfcTShapeProfileDef IfcUShapeProfileDef IfcZShapeProfileDef

Link to this page