Definition of a Knowledge Representation Based on Functional CAD Models · Study