IfcMonthInYearNumber

Natural language names
enMonth In Year Number
frNombre de mois dans l'année
Semantic definitions at the type
Type definition

IfcMonthInYearNumber is an integer that defines the position of the specified month in a year.

Calendar month numbers map to calendar month names as follows:

Type: INTEGER

NOTE  See definition of calendar month as defined in ISO 8601.
HISTORY  New type in IFC1.5.1.
Formal Propositions
RuleDescription
ValidRangeThe valid range for positioning a month in a year is min inclusive = 1 and max inclusive = 12.
Formal representations
XSD Specification
 <xs:simpleType name="IfcMonthInYearNumber">
  <xs:restriction base="xs:long"/>
 </xs:simpleType>
 <xs:element name="IfcMonthInYearNumber-wrapper" nillable="true">
  <xs:complexType>
   <xs:simpleContent>
    <xs:extension base="ifc:IfcMonthInYearNumber">
     <xs:attributeGroup ref="ifc:instanceAttributes"/>
    </xs:extension>
   </xs:simpleContent>
  </xs:complexType>
 </xs:element>
EXPRESS Specification
TYPE IfcMonthInYearNumber = INTEGER;
 WHERE
  ValidRange : {1 <= SELF <= 12}
END_TYPE;

Link to EXPRESS-G diagram EXPRESS-G diagram

Link to this page  Link to this page