**Last modified:***Saturday, 30 July 1994***Source code: vt-design.lisp****List of other known theories**

This ontology specializes the general theory of components-with-constraints for the VT problem. It defines the type of components that are to be designed and the restricted set of operators that may appear in constraints. It specializes the more general configuration design theory by adding commitments to a notion of optimality based on a cost function.Modified 19 May 1994. Added SQUARE SQRT FLOOR INVSIN to list of functions allowed in constraints.

Modified 30 July 1994. Integrated with the more general component assembly family, which replaces the old configuration-design theory.

Components-With-ConstraintsScalar-QuantitiesStandard-Dimensions

Vt-Domain

Component-Class Cost-Quantity Function-Allowed-In-Vt-Constraint Value-Allowed-For-Vt-Term Vt-Component Vt-Constant Vt-Constraint Vt-Constraint-Sentence

Optimal-Component

Component.CostInvsinSquare

**The following constants were used from included theories:**

******defined as a***function***in theory***Kif-Numbers********defined as a***function***in theory***Physical-Quantities********defined as a***function***in theory***Scalar-Quantities****=<***defined as a***relation***in theory***Kif-Numbers****Arity***defined as a***function***in theory***Frame-Ontology****Atomic-Term***defined as a***class***in theory***Parametric-Constraints****Class***defined as a***class***in theory***Frame-Ontology****Component***defined as a***class***in theory***Component-Assemblies****Constant***defined as a***class***in theory***Kif-Meta****Constraint-Expression***defined as a***class***in theory***Parametric-Constraints****Constraint.Expression***defined as a***function***in theory***Parametric-Constraints****Currency-Dimension***defined as a***object***in theory***Standard-Dimensions****Denotation***defined as a***function***in theory***Kif-Meta****Documentation***defined as a***relation***in theory***Frame-Ontology****Domain***defined as a***relation***in theory***Frame-Ontology****Function***defined as a***class***in theory***Kif-Relations****Has-Constraint***defined as a***relation***in theory***Components-With-Constraints****Has-Parameter-Slot***defined as a***relation***in theory***Components-With-Constraints****Instance-Of***defined as a***relation***in theory***Frame-Ontology****Member***defined as a***relation***in theory***Kif-Sets****Number***defined as a***class***in theory***Kif-Numbers****Object-Constraint***defined as a***class***in theory***Parametric-Constraints****One-Of***defined as a***function***in theory***Frame-Ontology****Parameter-Slot***defined as a***class***in theory***Components-With-Constraints****Quantity.Dimension***defined as a***function***in theory***Physical-Quantities****Range***defined as a***relation***in theory***Frame-Ontology****Relation***defined as a***class***in theory***Kif-Relations****Restricted-Constraint-Sentence***defined as a***relation***in theory***Parametric-Constraints****Scalar-Quantity***defined as a***class***in theory***Scalar-Quantities****Sin***defined as a***function***in theory***Kif-Numbers****String***defined as a***class***in theory***Kif-Extensions****Subclass-Of***defined as a***relation***in theory***Frame-Ontology****Subpart-Slot***defined as a***class***in theory***Component-Assemblies****Subrelation-Of***defined as a***relation***in theory***Frame-Ontology****Value-Cardinality***defined as a***function***in theory***Frame-Ontology****Value-Type***defined as a***relation***in theory***Frame-Ontology**

**All constants that were mentioned were defined.**

Formatting and translation code was written by