Theory QUANTITY-SPACES

• Last modified: Sunday, 31 July 1994
• Source code: quantity-spaces.lisp
• List of all known theories

Theory documentation:

A quantity-space is a set that has the property that a distance function is defined for any two elements in the set. In addition, the range of the distance function is a subclass of the class of scalar quantities.

This theory defines the class of quantity-space, and the associated relations POINT-IN, DISTANCE. It is agnostic about the semantics of the points -- they needn't be spatial things or of any particular dimensionality.

Notes:

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

Cross Reference Report:

Theories included by Quantity-Spaces:

  Physical-Quantities

Theories that include Quantity-Spaces:

  Simple-Geometry

1 class defined:

    Quantity-Space

1 relation defined:

  Point-In

1 function defined:

  Distance

No instances defined.

1 class defined:

  Quantity-Space

All constants that were mentioned were defined.