An important property for definable function is Kurdyka-Lojasiewicz inequality, which can bound gradient of definable function in a small region. Here we present two Kurdyka-Lojasiewicz inequalities given by [1]}:
