**Last modified:***Tuesday, 5 July 1994***Source code: unary-scalar-functions.lisp****List of other known theories**

This theory provides representation for unary functions which map a scalar-quantity to a scalar-quantity. This type of function is typical in engineering analysis. A common example is a time-dependent-quantity such as 'the temperature reading of my thermometer'. This quantity is a function from a scalar-quantities of dimension time to a scalar-quantity measuring temperature. Although it is common for the 'independent variable' to be time, unary-scalar-function-quantities may be defined over any class of scalar quantities [of a homogenous dimension]. Unary-scalar-function-quantities are quantities themselves, and may be combined with addition, multiplication, and other functions defined for scalar-quantities. In addition, these quantities also have properties such as continuity and can have derivatives.

- (c) 1993, 1994 Greg R. Olsen and Thomas R. Gruber

**See-Also:**The EngMath paper on line

Scalar-QuantitiesStandard-Dimensions

CmlMace-Domain

Relation-Extended-To-Function-Quantities Time-Quantity Unary-Scalar-Function-Quantity Continuous Time-Dependent-Quantity Time-Dependent-Quantity

<

*+D/DtDerivExptRecipThe-Identity-Unary-Scalar-Function-For-DomainThe-Zero-Unary-Scalar-Function-For-DimensionValue-At

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

**1-***defined as a***function***in theory***Kif-Numbers****Arity***defined as a***function***in theory***Frame-Ontology****Class***defined as a***class***in theory***Frame-Ontology****Defined***defined as a***class***in theory***Kif-Extensions****Documentation***defined as a***relation***in theory***Frame-Ontology****Domain***defined as a***relation***in theory***Frame-Ontology****Exact-Domain***defined as a***function***in theory***Frame-Ontology****Function***defined as a***class***in theory***Kif-Relations****Function-Quantity***defined as a***class***in theory***Physical-Quantities****Holds***defined as a***relation***in theory***Kif-Relations****Identity-Scalar***defined as a***object***in theory***Scalar-Quantities****Instance-Of***defined as a***relation***in theory***Frame-Ontology****Item***defined as a***relation***in theory***Kif-Lists****Map***defined as a***function***in theory***Kif-Relations****Member***defined as a***relation***in theory***Kif-Sets****Nth-Domain***defined as a***relation***in theory***Frame-Ontology****Physical-Dimension***defined as a***class***in theory***Physical-Quantities****Physical-Quantity***defined as a***class***in theory***Physical-Quantities****Quantity.Dimension***defined as a***function***in theory***Physical-Quantities****Range***defined as a***relation***in theory***Frame-Ontology****Real-Number***defined as a***class***in theory***Kif-Numbers****Relation***defined as a***class***in theory***Kif-Relations****Scalar-Quantity***defined as a***class***in theory***Scalar-Quantities****Subclass-Of***defined as a***relation***in theory***Frame-Ontology****The-Zero-Scalar-For-Dimension***defined as a***function***in theory***Scalar-Quantities****Time-Dimension***defined as a***object***in theory***Standard-Dimensions****Unary-Function***defined as a***class***in theory***Kif-Relations****Value***defined as a***function***in theory***Kif-Relations**

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

Formatting and translation code was written by