A direction cosine matrix is an orthogonal three-dimensional matrix.
(<=> (3d-Direction-Cosine ?Dircos) (And (Orthogonal-Matrix ?Dircos) (Row-Dimension ?Dircos 3)))