气氨的液化包括压缩和冷凝。