In this paper, we establish a nonlinear analogue of Picone’s identity for biharmonic operators on Heisenberg group. As an applications of Picone’s identity, we obtain Hardy-Rellich type inequality, Morse index, Caccioppoli ...