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