All video games that allow users to simulate playing online soccer using licensed players are in the FIFA series.
∀x (VideoGame(x) ∧ Simulate(x, onlineSoccer) ∧ Use(x, licensedPlayer) → In(x, fIFASeries))