A frame in 3D space. A triad of orthonormal basis vectors.
(<=> (3d-Frame ?F) (And (Orthonormal-Basis ?F) (Basis.Dimension ?F 3)))