气体变为液体的过程称为液化，气氨的液化包括气氨的（）和冷凝。