5.1.6.4 IfcUniquePropertyTemplateNames (唯一属性模板名称)
5.1.6.4.1 语义定义（Semantic definition）
该函数获取 IfcPropertyTemplate 的集合。它遍历 IfcPropertyTemplate 的 Name 特性
并验证没有 Name 重复出现。
5.1.6.4.2 形式化表示（Formal representation）
FUNCTION IfcUniquePropertyTemplateNames
(Properties : SET [1:?] OF IfcPropertyTemplate)
:LOGICAL;
LOCAL
Names : SET OF IfcLabel := [];
END_LOCAL;
REPEAT i:=1 TO HIINDEX(Properties);
Names := Names + Properties[i].Name;
END_REPEAT;
RETURN (SIZEOF(Names) = SIZEOF(Properties));
END_FUNCTION;