what are the software whose operating systems are irix and ibm aix ?
SELECT DISTINCT var_uri where brack_open var_uri dbo_operatingSystem dbr_IRIX sep_dot var_uri dbo_operatingSystem dbr_IBM_AIX sep_dot var_uri a dbo_Software brack_close