#### IfcPositivePlaneAngleMeasure

Natural language names

##### Semantic definitions at the type

Type definition
A positive pla

Definition from ISO/CD 10303-41:1992: Positive plane angle measure is a plane angle measure that is greater than zero.

Type: IfcPlaneAngleMeasure

> NOTE Corresponding STEP name: positive_plane_angle_measure, please refer to ISO/IS 10303-41:1994 for the final definition of the formal standard.

> HISTORY New type in IFC Release 1.5.1.

Formal Propositions

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

##### Formal representations

XSD Specification
`<xs:simpleType name="IfcPositivePlaneAngleMeasure">
<xs:restriction base="ifc:IfcPlaneAngleMeasure"/>
</xs:simpleType>
<xs:element name="IfcPositivePlaneAngleMeasure-wrapper" nillable="true">
<xs:complexType>
<xs:simpleContent>
<xs:extension base="ifc:IfcPositivePlaneAngleMeasure">
<xs:attributeGroup ref="ifc:instanceAttributes"/>
</xs:extension>
</xs:simpleContent>
</xs:complexType>
</xs:element>
`
EXPRESS Specification
`TYPE IfcPositivePlaneAngleMeasure = IfcPlaneAngleMeasure;
WHERE
WR1 : SELF > 0.
END_TYPE;

EXPRESS-G diagram

`

Link to this page