As a direct relation to embodied cognition, and more specifically embodied construction grammar, formal approaches to image schemas often limit the research area by looking at image schemas exclusively as "spatiotemporal relationships". This provides a feasible foundation for knowledge representation to represent each individual image schema as well as their interconnection as relationships in a 3D space. One formal language to describe them is the ISL (Image Schema Language), a logic language combined by different formal calculi and first-order logic that builds on creating hierarchical families of logical micro-theories that is able to represent different degrees of specification of the image schemas.