The name Ichishihime no Okimi is not found in "Nihonshoki" (Chronicles of Japan) or "Shoku Nihongi" (Chronicle of Japan Continued), which were thought to be the basic historical documents, but only appears as the princess of the Emperor Kobun in "Honcho koin jounroku" (the Emperor's family tree) which was edited after a long period of time.
壱志姫王の名は『日本書紀』『続日本紀』などの基本史料に確認出来ず、遥か時代を下った『本朝皇胤紹運録』に弘文天皇の女として見えるだけである。