gas-cooled reactor

noun

1.
a nuclear reactor using gas as a coolant