Representation of knowledge in a geometry machine