多项选择题
EXPRESS语言通过一系列的说明来进行描述，这此说明主要包括（）。
A、类型说明（TypE. B、实体说明（Entity） C、规则说明（RulE. D、函数说明（Function） E、过程说明（ProcedurE.
多项选择题 以下符合IFC标准，并取得IFC认证的软件有（）。
多项选择题 通过扩展得到的IFC的模型文件是否为有效的IFC文件，需要通过校验来判断。校验内容主要包括（）。
多项选择题 IFC标准配置的数据文件格式的默认扩展名包括（）。
