Ontology RANGES

• Last modified: Friday, 27 October 1995
• Generality: Moderate
• Maturity: Moderate
• I/O Syntax: Case Insensitive
• Private by default: No
• Source pathname: /tmp_mnt/vol/q/htw/cms/ontolingua/examples/foundation-ontologies/ranges.lisp

Ontology documentation:

This ontology defines a generic ontology of ranges.

Notes:

• Parts of this were snipped out of the jat-generic ontology.

Summary of Ranges:

No translations

No shadowed words

No public words

No private words

Ranges includes the following ontologies:

    Frame-Ontology
       Kif-Relations
          Kif-Sets
          Kif-Lists
             Kif-Numbers
       Kif-Extensions
          Kif-Sets
          Kif-Lists ...
          Kif-Numbers
          Kif-Relations ...
       Kif-Meta
          Kif-Sets
          Kif-Lists ...

Ontologies that include Ranges:

    Simple-Time
       Interface-Ontology
          Interface-Definition-Language
          Device-Ontology
             Hp-Product-Ontology
                Digital-Designer-Query-Ontology
                Physicist-Query-Ontology
          Hp-Product-Ontology ...
          Digital-Designer-Query-Ontology
          Physicist-Query-Ontology
       Documents
          Bibliographic-Data
          Product-Ontology
             Device-Ontology ...
             Hp-Product-Ontology ...
             Vehicles
       Bibliographic-Data
       Job-Assignment-Task
       Enterprise-V1.0

Ranges uses the same ontologies as it includes.

Ontologies using Ranges are the same as those that include it.

Class hierarchy (2 classes defined):

    Integer-Range
    Real-Range

No relations defined.

4 functions defined:

  I-Lower-Bound
  I-Upper-Bound
  R-Lower-Bound
  R-Upper-Bound

No instances defined.

8 unnamed axioms defined.

No named axioms defined.

All constants that were mentioned were defined.