IfcPostalAddress

Semantic definitions at the entity

Entity definition

This entity represents an address for delivery of paper based mail and other postal deliveries.

HISTORY New entity in IFC2x.

Attribute definitions

#	Attribute	Type	Cardinality	Description	C
4	InternalLocation	IfcLabel	[0:1]	An organization defined address for internal mail delivery.	X
5	AddressLines	IfcLabel	L[1:?]	The postal address. NOTE A postal address may occupy several lines (or elements) when recorded. It is expected that normal usage will incorporate relevant elements of the following address concepts: A location within a building (e.g. 3rd Floor) Building name (e.g. Interoperability House) Street number (e.g. 6400) Street name (e.g. Alliance Boulevard). Typical content of address lines may vary in different countries.	X
6	PostalBox	IfcLabel	[0:1]	An address that is implied by an identifiable mail drop.	X
7	Town	IfcLabel	[0:1]	The name of a town.	X
8	Region	IfcLabel	[0:1]	The name of a region. NOTE The counties of the United Kingdom and the states of North America are examples of regions.	X
9	PostalCode	IfcLabel	[0:1]	The code that is used by the country's postal service.	X
10	Country	IfcLabel	[0:1]	The name of a country.	X

Formal Propositions

Rule	Description
WR1	Requires that at least one attribute of internal location, address lines, town, region or country is asserted. It is not acceptable to have a postal address without at least one of these values.

Inherited definitions from supertypes

Entity inheritance

Attribute inheritance

#	Attribute	Type	Cardinality	Description	C
IfcAddress
1	Purpose	IfcAddressTypeEnum	[0:1]	Identifies the logical location of the address.	X
2	Description	IfcText	[0:1]	Text that relates the nature of the address.	X
3	UserDefinedPurpose	IfcLabel	[0:1]	Allows for specification of user specific purpose of the address beyond the enumeration values provided by Purpose attribute of type IfcAddressTypeEnum. When a value is provided for attribute UserDefinedPurpose, in parallel the attribute Purpose shall have enumeration value USERDEFINED.	X
	OfPerson	IfcPerson @Addresses	S[0:?]	The inverse relationship to Person to whom address is associated.	X
	OfOrganization	IfcOrganization @Addresses	S[0:?]	The inverse relationship to Organization to whom address is associated.	X
IfcPostalAddress
4	InternalLocation	IfcLabel	[0:1]	An organization defined address for internal mail delivery.	X
5	AddressLines	IfcLabel	L[1:?]	The postal address. NOTE A postal address may occupy several lines (or elements) when recorded. It is expected that normal usage will incorporate relevant elements of the following address concepts: A location within a building (e.g. 3rd Floor) Building name (e.g. Interoperability House) Street number (e.g. 6400) Street name (e.g. Alliance Boulevard). Typical content of address lines may vary in different countries.	X
6	PostalBox	IfcLabel	[0:1]	An address that is implied by an identifiable mail drop.	X
7	Town	IfcLabel	[0:1]	The name of a town.	X
8	Region	IfcLabel	[0:1]	The name of a region. NOTE The counties of the United Kingdom and the states of North America are examples of regions.	X
9	PostalCode	IfcLabel	[0:1]	The code that is used by the country's postal service.	X
10	Country	IfcLabel	[0:1]	The name of a country.	X

Formal representations

XSD Specification

 <xs:element name="IfcPostalAddress" type="ifc:IfcPostalAddress" substitutionGroup="ifc:IfcAddress" nillable="true"/>

 <xs:complexType name="IfcPostalAddress">

  <xs:complexContent>

   <xs:extension base="ifc:IfcAddress">

    <xs:sequence>

     <xs:element name="AddressLines" nillable="true" minOccurs="0">

      <xs:complexType>

       <xs:sequence>

        <xs:element ref="ifc:IfcLabel-wrapper" maxOccurs="unbounded"/>

       </xs:sequence>

       <xs:attribute ref="ifc:itemType" fixed="ifc:IfcLabel-wrapper"/>

       <xs:attribute ref="ifc:cType" fixed="list"/>

       <xs:attribute ref="ifc:arraySize" use="optional"/>

      </xs:complexType>

     </xs:element>

    </xs:sequence>

    <xs:attribute name="InternalLocation" type="ifc:IfcLabel" use="optional"/>

    <xs:attribute name="PostalBox" type="ifc:IfcLabel" use="optional"/>

    <xs:attribute name="Town" type="ifc:IfcLabel" use="optional"/>

    <xs:attribute name="Region" type="ifc:IfcLabel" use="optional"/>

    <xs:attribute name="PostalCode" type="ifc:IfcLabel" use="optional"/>

    <xs:attribute name="Country" type="ifc:IfcLabel" use="optional"/>

   </xs:extension>

  </xs:complexContent>

 </xs:complexType>

EXPRESS Specification


ENTITY IfcPostalAddress

 SUBTYPE OF (IfcAddress);

  InternalLocation : OPTIONAL IfcLabel;

  AddressLines : OPTIONAL LIST [1:?] OF IfcLabel;

  PostalBox : OPTIONAL IfcLabel;

  Town : OPTIONAL IfcLabel;

  Region : OPTIONAL IfcLabel;

  PostalCode : OPTIONAL IfcLabel;

  Country : OPTIONAL IfcLabel;

 WHERE

  WR1 : EXISTS (InternalLocation) OR 
EXISTS (AddressLines) OR
EXISTS (PostalBox) OR
EXISTS (PostalCode) OR
EXISTS (Town) OR 
EXISTS (Region) OR  
EXISTS (Country);
END_ENTITY;

 EXPRESS-G diagram

	Postalische Adresse
	Postal Address
	Addresse postale