Theory UNITS

• Last modified: Saturday, 23 December 2000
• Source code: Units.lisp
• List of other known theories

Theory documentation:

No theories were included by Units.

Theories that include Units:

  Quantities

5 classes defined:

    Unit
       Currency
       Spatial-Unit
       Time-Unit
          Day

3 relations defined:

  Spatial-Unit-Of
  Time-Unit-Of
  Unit-Of

3 functions defined:

  The-Spatial-Unit
  The-Time-Unit
  The-Unit

No instances defined.

The following constants were used from theories not included:

• Arity defined as a function in theory Built-In-Theory
• Arity defined as a function in theory Frame-Ontology
• Class defined as a class in theory Frame-Ontology
• Domain defined as a relation in theory Built-In-Theory
• Domain defined as a relation in theory Frame-Ontology
• Extrinsic-Structuring-Relation defined as a relation in theory Structuring-Concepts
• Function defined as a class in theory Kif-Relations
• Inverse defined as a function in theory Kif-Relations
• Range defined as a relation in theory Built-In-Theory
• Range defined as a relation in theory Frame-Ontology
• Relation defined as a class in theory Built-In-Theory
• Relation defined as a class in theory Kif-Relations
• Subclass-Of defined as a relation in theory Frame-Ontology
• Subrelation-Of defined as a relation in theory Frame-Ontology
• Symbolic-String defined as a class in theory Representation

All constants that were mentioned were defined.