On Formulations of Topological Linear Spaces by Topological Semifields