extra_time 英语 其他写法 extra-time名词 extra time（不可数） (体育, 英国) 加时，加时赛 近义词： (美国) overtime参见 injury time stoppage time time added on time on normal time异序词 taximeter
