IFC SDK是否支持评估EXPRESS模式中定义的派生属性和WR规则？

是的，派生属性和Where规则评估由EXPRESS解释器（ISO 10303-11）支持，该解释器是ODA IFC SDK/SDAI的一部分。