Formalization and Specification of Geometric Knowledge Objects