How much does the gross domestic products goes to the industry sector for Singapore?
Singapore is one of country names; GDP refers to gross domestic products; GDP to the industry sector = GDP * Industry
SELECT T2.GDP * T2.Industry FROM country AS T1 INNER JOIN economy AS T2 ON T1.Code = T2.Country WHERE T1.Name = 'Singapore'