四大天王(sì dà tiān wáng) “the four heavenly kings” Cf. 四天王(sì tiān wáng), 四天(sì tiān), 四王(sì wáng);
HD. 3.571a(西游记); DK. 3.31a(大智度论);
63b7.四大天王与万天子倶(p)
K. 4.5.catur~ mahārāja~; L. 2a16.四大天王;