Abstract: Defining or understanding a product in terms of its functions facilitates a wide variety of tasks such as design synthesis, modeling, and analysis. However, the lack of a semantically correct ...