Theory QUANTITIES

Theory documentation:

Theories included by Quantities:

  Physical-Concepts
  Representation
  Units

Theories that include Quantities:

  Clin-Act
  Positions

5 classes defined:

    Quantitative-Concept
    Quantitative-Value-Filler
    Value-Filler
       Age-Value-Filler
       Serial-Value-Filler

26 relations defined:

  Degree
  Degree-Of
  Is-Age-Of
  Is-Amount-Of
  Is-Diameter-Of
  Is-Extent-Of
  Is-Length-Of
  Is-Numeric-Value-Of
  Is-Ordinal-Value-Of
  Is-Qualitative-Value-Of
  Is-Serial-Value-Of
  Is-Size-Of
  Is-Width-Of
  Larger
  Lower-Than
  Measure-Value
  Measurement
  Measurement-Of
  Qualitative-Scale
  Same-Level
  Smaller
  _Elongate
  _Few
  _Many
  _Pair
  _Plurality

17 functions defined:

  Age
  Amount
  Diameter
  Distance
  Extent
  Higher-Than
  Length
  Measure-Value-Of
  Money-Value
  Numeric-Value
  Ordinal-Value
  Qualitative-Value
  Serial-Value
  Size
  The-Higher
  The-Smaller
  Width

No instances defined.


The following constants were used from included theories:

The following constants were used from theories not included:

All constants that were mentioned were defined.

The following constants are defined in this theory and in an included theory without the definition in this theory being polymorphic:


This document was generated using Ontolingua.
Formatting and translation code was written by
François Gerbaux and Tom Gruber