Characterization and definability in modal first-order fragments