Theory UNARY-SCALAR-FUNCTIONS

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

Theory documentation:

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.

Notes:

• (c) 1993, 1994 Greg R. Olsen and Thomas R. Gruber
  
• See-Also: The EngMath paper on line
  

Cross Reference Report:

Theories included by Unary-Scalar-Functions:

  Scalar-Quantities
  Standard-Dimensions

Theories that include Unary-Scalar-Functions:

  Cml
  Mace-Domain

5 classes defined:

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

1 relation defined:

  <

9 functions defined:

  *
  +
  D/Dt
  Deriv
  Expt
  Recip
  The-Identity-Unary-Scalar-Function-For-Domain
  The-Zero-Unary-Scalar-Function-For-Dimension
  Value-At

No instances defined.

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.