8.1.3.8 IfcTelecomAddress（电信地址）
RV ⓘ
AbV ⓘ
8.1.3.8.1 语义定义（Semantic definition）
该实体表示一个地址，电话、电子邮件和其他形式的电信应发送至该地址。
IFC4变更 添加了属性_MessagingIDs_。属性_WWWHomePageURL_的类型兼容性地从_IfcLabel_更改为_IfcURIReference_。
8.1.3.8.2 实体继承（Entity inheritance）
8.1.3.8.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 个继承特性 | |||
| IfcTelecomAddress (6) | |||
| 4 | TelephoneNumbers | OPTIONAL LIST [1:?] OF IfcLabel |
可接收电话消息的电话号码列表。 |
| 5 | FacsimileNumbers | OPTIONAL LIST [1:?] OF IfcLabel |
可接收传真消息的传真号码列表。 |
| 6 | PagerNumber | OPTIONAL IfcLabel |
可接收寻呼消息的寻呼号码。 |
| 7 | ElectronicMailAddresses | OPTIONAL LIST [1:?] OF IfcLabel |
可接收电子邮件消息的电子邮件地址列表。 |
| 8 | WWWHomePageURL | OPTIONAL IfcURIReference |
可找到个人或组织信息初始页面的万维网地址。 |
| 9 | MessagingIDs | OPTIONAL LIST [1:?] OF IfcURIReference |
任何其他电信方式的ID或地址，例如即时消息、IP语音或文件传输协议。通信协议由URI值指示，带有方案标识符，如irc:、sip:或ftp:。 |
8.1.3.8.4 形式化命题（Formal propositions）
| 名称 | 描述 |
|---|---|
| MinimumDataProvided |
要求至少声明电话号码、传真号码、寻呼号码、电子邮件地址、万维网主页URL或消息ID中的一个属性。没有至少一个这些值的电信地址是不可接受的。 |
|
|
8.1.3.8.5 形式化表示（Formal representation）
ENTITY IfcTelecomAddress
SUBTYPE OF (IfcAddress);
TelephoneNumbers : OPTIONAL LIST [1:?] OF IfcLabel;
FacsimileNumbers : OPTIONAL LIST [1:?] OF IfcLabel;
PagerNumber : OPTIONAL IfcLabel;
ElectronicMailAddresses : OPTIONAL LIST [1:?] OF IfcLabel;
WWWHomePageURL : OPTIONAL IfcURIReference;
MessagingIDs : OPTIONAL LIST [1:?] OF IfcURIReference;
WHERE
MinimumDataProvided : EXISTS (TelephoneNumbers) OR
EXISTS (FacsimileNumbers) OR
EXISTS (PagerNumber) OR
EXISTS (ElectronicMailAddresses) OR
EXISTS (WWWHomePageURL) OR
EXISTS (MessagingIDs);
END_ENTITY;