In this paper, the concept of generalized Horn sets is defined, the completeness of generalized input resolution, the completeness of generalized input symmetric paramodulation,and the completeness of generalized input directed paramodulation under some conditions are proved on generalized Horn sets. The lifting lemma of generalizedparamodulation is also given.