verb, proper name · an old name for Nanjing, called 建康 Jiàn​kāng or Jianye during the Eastern Jin (317-420)

在读史书时，他第一次听说了建业这个古老的名称。