We give an integral
representation of K-positive definite functions on a real rank n connected,
noncompact, semisimple Lie group with finite centre. Moreover, we characterize the
λ’s for which the τ-spherical function ϕσ,λτ is positive definite for the group
G =Spine(n,1) and the complex spin representation τ.