Amazon Kinesis Data Analytics
SQL Reference

TIME_TO_CHAR

Uses a format string to format a time. Returns the formatted time or portion of a time as a string.

TIME_TO_CHAR(format,time);