In formulae, typically has symbol r.
The dimension position in formulae
is a vector quantity r = xi + yj + zk. x, y and z are lengths specified in the base SI unit, meters.
This is sort-of implementable as a N-ary relation in SMW 1.0: we say position
has type Length; Length; LengthThe type of this property is invalid