His real name is Thomas, but we call him Tom for short.

• 他的真名叫托马斯,而我们简称他为汤姆。