UTC−12:00

Deductions

• time zone is for example UTC−12:00 ⇐ (UTC−12:00 is a time zone), (is a is inverse of is for example)
• UTC−12:00 is a time zone ⇐ (time zone named for a UTC offset is subclass of time zone), (UTC−12:00 is a time zone named for a UTC offset)
• time zone named for a UTC offset is for example UTC−12:00 ⇐ (UTC−12:00 is a time zone named for a UTC offset), (is a is inverse of is for example)