Reading through wikipedia on Epistemology is kinda fun

belief is what we take for granted, truth is what can be used for a successful predict, knowledge, is comprehensible truth.

declarative knowledge == spacial knowledge

imperative knowledge == time knowledge

imperative knowledge is just an instance of declarative knowledge, which means IK∈DK. Because time+space can always be represented in a phase space. But it's obvious that IK is faster to run because it's often remembered in the simplest form. no one likes to remember the harder procedure alternative version of an IK. If the situation matches exactly to what you previously remembered IK, it's just mirror those knowledge to actions with little effort of thinking. If you know DK only it will take you a lot more time to extract and construct knowledge to a useful form.