7 Concepts library [concepts.lib]

7.5 Object concepts [concepts.lib.object]

7.5.1 Concept Movable [concepts.lib.object.movable]

template <class T> concept bool Movable = is_object<T>::value && MoveConstructible<T> && Assignable<T&, T> && Swappable<T>;

There need not be any subsumption relationship between Movable<T> and is_object<T>::value.