# Are there other planetary systems where gas giants are on the inside to rocky planet orbits?

I understand that formation theories for gas giants suggest they should be born further away where there is more gas for them to monopolize vs the sun, and then to form Hot Jupiters they need to migrate inwards, which would disrupt the orbits of rocky planets.

Are there any quibbles with this? Out of all the extrasolar systems is there even one where you have hot or warm gas giants and then cold Earth or Super-Earth sized terrestrials? Bodies like we have in the Kuiper belt lie beyond our gas giants but they are mostly made of ices and represent a small leftover fraction of the system mass, so they don't really count here.

• For the purposes of the question, how do you want to define gas giants? Do you want to consider Neptune-like planets to be gas giants? – antispinwards Jun 15 at 22:00
• Neptune-like planets are usually considered ice giants. – Axion Jun 17 at 16:15

• Kepler 20b: $$\approx 10 M_\oplus$$
• Kepler 20e: $$\approx M_\oplus$$
• Kepler 20c: $$\approx 16 M_\oplus$$
• Kepler 20f: $$\approx 1.5 M_\oplus$$
• Kepler 20g: $$\approx 20 M_\oplus$$
• Kepler 20d: $$< 20 M_\oplus$$