A variable is instantiated when it has been bound to an atomic or a compound term as opposed to being uninstantiated or free. See also ground.