Four types of knowledge representation, relational, inferential, inheritable, and procedural knowledge, are investigated within Axiomatic Design (AD). These knowledge types provide the framework to analyze existing representation methods and propose additional methods to be automated by the Axiomatic Design Software (ADS) currently being developed by the AD Group at MIT. Case studies are presen...