8.17.6.1 IfcUniqueQuantityNames（唯一数量名称）
8.17.6.1.1 语义定义（Semantic definition）
该函数获取 IfcPhysicalQuantity 的集合。
它遍历 IfcPhysicalQuantity 的 Name 属性， 并验证没有 Name 重复出现。
HISTORY IFC2x4 中的新函数
8.17.6.1.2 形式化表示（Formal representation）
FUNCTION IfcUniqueQuantityNames
(Properties : SET [1:?] OF IfcPhysicalQuantity)
: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;