Bailly
[ῐ] vb. de εἶμι, HPC. Acut. 390 ; PLAT. Leg. 803 e, Rsp. 394 d.
Bailly 2020 Hugo Chávez Gérard Gréco, André Charbonnet, Mark De Wilde, Bernard Maréchal & contributeurs / Licence Creative Commons Attribution - Pas d'Utilisation Commerciale - Pas de Modification — « CC BY-NC-ND 4.0 »
LSJ
(εἶμι ibo) one must go, Hp. Acut. 38, Pl. R. 394d, Lg. 803e, etc.
Liddell-Scott-Jones, Greek-English Lexicon (9th ed., 1940)