علی حلیلغتنامه دهخداعلی حلی . [ ع َ ی ِ ح ِل ْ لی ] (اِخ ) ابن حسین حلی شهیفنی ، مکنّی به ابوالحسن . رجوع به علی شهیفنی شود.