8.1.3.7 IfcPostalAddress（邮政地址）
RV ⓘ
AbV ⓘ
8.1.3.7.1 语义定义（Semantic definition）
此实体表示用于纸质邮件和其他邮政投递的地址。
8.1.3.7.2 实体继承（Entity inheritance）
8.1.3.7.3 特性（Attributes）
| # | 特性（Attributes） | 类型 | 描述 |
|---|---|---|---|
| IfcAddress (5) | |||
| 1 | Purpose | OPTIONAL IfcAddressTypeEnum |
标识地址的逻辑位置。 |
| 2 | Description | OPTIONAL IfcText |
描述地址性质的文本。 |
| 3 | UserDefinedPurpose | OPTIONAL IfcLabel |
允许在 IfcAddressTypeEnum 类型的 Purpose 属性提供的枚举值之外，指定用户特定的地址用途。 当为属性 UserDefinedPurpose 提供值时，同时属性 Purpose 应具有枚举值 USERDEFINED。 |
| OfPerson | SET [0:?] OF IfcPerson FOR Addresses |
与地址关联的人员的反向关系。 |
|
| OfOrganization | SET [0:?] OF IfcOrganization FOR Addresses |
与地址关联的组织的反向关系。 |
|
| 点击显示 5 个隐藏的继承特性 点击隐藏 5 个继承特性 | |||
| IfcPostalAddress (7) | |||
| 4 | InternalLocation | OPTIONAL IfcLabel |
组织定义的内部邮件投递地址。 |
| 5 | AddressLines | OPTIONAL LIST [1:?] OF IfcLabel |
邮政地址。 |
| 6 | PostalBox | OPTIONAL IfcLabel |
由可识别邮箱隐含的地址。 |
| 7 | Town | OPTIONAL IfcLabel |
城镇名称。 |
| 8 | Region | OPTIONAL IfcLabel |
区域名称。 |
| 9 | PostalCode | OPTIONAL IfcLabel |
国家邮政服务使用的代码。 |
| 10 | Country | OPTIONAL IfcLabel |
ISO 3166 2位国家代码。 |
8.1.3.7.4 形式化命题（Formal propositions）
| 名称 | 描述 |
|---|---|
| WR1 |
要求至少声明内部位置、地址行、城镇、区域或国家中的一个属性。没有至少其中一个值的邮政地址是不可接受的。 |
|
|
8.1.3.7.5 形式化表示（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;