Definitions of gas-cooled reactor:

• noun:   a nuclear reactor using gas as a coolant