We study the solution properties in Sobolev spaces for the evolution equation involving time fractional derivatives. Under appropriate assumptions on the semilinear function and initial data, we establish an existence criterion for solutions in Sobolev spaces, accompanied by a characterization of several equivalent solution formulations. Furthermore, we investigate several characterizations of periodic solutions to the linear problem. No potential conflict of interest was reported by the author(s).