I am trying to figure out whether or not the following property is first-order expressible in the language of groups. $$\text{$G$ has a subgroup $H$ with which it forms a Frobenius pair $(H,G)$.}$$ My search online yielded no answers. Even if there is a positive or negative result, it seems to be not very well-known.