『にほんしょき』ではいわゆきひめいのち。『こじき』ではいしゆきにちばいいのち。『ぞくにっぽんき』ではいなみのひばいいのち。ほか、どうおんいじひょうじたすう。
にんとくてんのうのこうごう。せいねんふしょう〜にんとく35ねん6がつ*1。
しっとふかかったとかかれ、じょせいかんけいのじけんがおおい。このおっとてんのうのごりょうとひていされているのがにっぽんさいだいきぼをほこるだいせんりょうこふん?である*3。。。
*1:ききのきじゅつをりにあなきねんほうととれば4せいき〜5せいきあたり。
*2:とうじはおうじょがりつきさきすることがかんれいとなっており、ふじわらしであるこうみょうこのりつきさきはいれいのことであった。