ifc property definition