what company made ultrabook and is the platform where tuxonice can be played ?
SELECT DISTINCT var_uri where brack_open dbr_TuxOnIce dbo_computingPlatform var_uri sep_dot dbr_Ultrabook dbp_developer var_uri sep_dot var_uri a dbo_Company brack_close