pressure_dome has definitions from the field of architecture
1
[ noun ] (architecture) a dome-shaped building that is pressurized

Used in print

(Robert Heinlein, Stranger in a Strange Land....)

On Mars humans were building pressure_domes for the male and female party that would arrive by next ship .

Related terms

dome

*