In this book, the author develops a generative theory of shape with two properties fundamental to intelligence: maximizing transfer of structure, and maximizing recoverability of generative operations. The theory is applied in considerable detail to CAD, perception, and robotics. A significant aspect of this book is the development of an object-oriented theory of geometry. This includes a group-theoretic formulation of object-oriented inheritance. In particular, a class of groups is developed called "unfolding groups", which define any complex shape as unfolded from a maximally collapsed version of itself called an "alignment kernel". The group is decomposed into levels corresponding to the inheritance hierarchy within the complex object. This achieves one of the main goals of the theory - the conversion of complexity into understandability. The advantages of the theory are demonstrated with lengthy studies of robot manipulators, perceptual organization, constructive solid geometry, assembly planning, architectural CAD, and mechanical CAD/CAM.