IfcPostalAddress

Definition from IAI: The address for delivery of paper based mail.

> HISTORY New entity in IFC Release 2x.

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;

Attribute definitions:

InternalLocation | : | An organization defined address for internal mail delivery.
AddressLines | : | 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.
PostalBox | : | An address that is implied by an identifiable mail drop.
Town | : | The name of a town.
Region | : | The name of a region. NOTE: The counties of the United Kingdom and the states of North America are examples of regions.
PostalCode | : | The code that is used by the country's postal service.
Country | : | The name of a country.

Formal Propositions:

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.

Inheritance graph

ENTITY IfcPostalAddress;
ENTITY IfcAddress;
Purpose | : | OPTIONAL IfcAddressTypeEnum;
Description | : | OPTIONAL IfcText;
UserDefinedPurpose | : | OPTIONAL IfcLabel;
INVERSE
OfPerson | : | SET OF IfcPerson FOR Addresses;
OfOrganization | : | SET OF IfcOrganization FOR Addresses;
ENTITY IfcPostalAddress;
InternalLocation | : | OPTIONAL IfcLabel;
AddressLines | : | OPTIONAL LIST [1:?] OF IfcLabel;
PostalBox | : | OPTIONAL IfcLabel;
Town | : | OPTIONAL IfcLabel;
Region | : | OPTIONAL IfcLabel;
PostalCode | : | OPTIONAL IfcLabel;
Country | : | OPTIONAL IfcLabel;
END_ENTITY;