We continue our study of topological partial *-algebras, focusing our attention on *-semisimple partial *-algebras, that is, those that possess a multiplication core and sufficiently many *-representations. We discuss the respective roles of invariant positive sesquilinear (ips) forms and representable continuous linear functionals, and focus on the case where the two notions are completely interchangeable (fully representable partial *-algebras) with the aim of characterizing a *-semisimple partial...