which software uses tizen as it's operating system and is written in english language ?
SELECT DISTINCT var_uri where brack_open var_uri dbo_operatingSystem dbr_Tizen sep_dot var_uri dbo_programmingLanguage dbr_English_language sep_dot var_uri a dbo_Software brack_close