8.1.3.7 IfcPostalAddress
8.1.3.7.1 Semantic definition
This entity represents an address for delivery of paper based mail and other postal deliveries.
8.1.3.7.2 Entity inheritance
8.1.3.7.3 Attributes
# | Attribute | Type | Description |
---|---|---|---|
IfcAddress (5) | |||
Click to show 5 hidden inherited attributes Click to hide 5 inherited attributes | |||
IfcPostalAddress (7) | |||
4 | InternalLocation | OPTIONAL IfcLabel |
An organization defined address for internal mail delivery. |
5 | AddressLines | OPTIONAL LIST [1:?] OF IfcLabel |
The postal address. |
6 | PostalBox | OPTIONAL IfcLabel |
An address that is implied by an identifiable mail drop. |
7 | Town | OPTIONAL IfcLabel |
The name of a town. |
8 | Region | OPTIONAL IfcLabel |
The name of a region. |
9 | PostalCode | OPTIONAL IfcLabel |
The code that is used by the country's postal service. |
10 | Country | OPTIONAL IfcLabel |
An ISO 3166 2-digit country code. |
8.1.3.7.4 Formal propositions
Name | 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. |
||||||||||||||
|
8.1.3.7.5 Examples
8.1.3.7.6 Formal representation
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;