Sora Takenouchi (Etymologies)

Sora Takenouchi (武之内 空) Name used in the Japanese version of Digimon Adventure, Digimon Adventure 02, and related materials. Officially romanized in the Digimon Adventure: Official Encyclopedia II. Also used in multiple dubs, including the American English. Ja: Takenochi (武之内?). Japanese surname that means "within the warrior". Ja: Sora (空?). Japanese name that means "sky", likely a reference to Biyomon. Along with Mimi, it may also be a pun on "soramimi" (空耳? lit. "mishear").