佛学大辞典
天王如来
词：
天王如来
解释：
(一)提婆达多比丘未来成道时之佛名。据法华经提婆达多品所说，提婆达多犯五逆罪，堕无间地狱，佛陀告诸菩萨及天人四众，谓提婆达多往昔曾为其师，彼实非恶人，为权诫世人而作逆罪，堕于地狱，未来必当成道，号天王如来。
(二)过去以俗形成佛之佛名。据自在王菩萨经卷下载，此佛为过去燃灯佛、威德佛、提沙佛、光明佛以前之佛，其与眷属等，皆不着袈裟，而着自生净妙天衣，亦无结惑，乃成佛之特例。