A very useful conclusion is that a semialgebraic function has the KL property with \(\psi (s)=cs^{1-\theta }\)  for some \(\theta \in \left[ 0,1\right) \cap \mathbb {Q}\)  and \( c>0\) , which can be seen as a corollary of Theorem 3.2 of [1]}. The following Tarski-Seidenberg theorem is very useful for the analysis of KL properties.
