Ontology SIMPLE-TIME

Ontology documentation:

A TIME-POINT is a specification of a single point in historical time. CALENDAR-DATE is a time-point at the resolution of days; that is, the day, month, and year are known. A CALENDAR-YEAR is a time-point at the resolution of years.

Notes:

Summary of Simple-Time:

No translations

No shadowed words

No public words

No private words

Simple-Time 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 ...
    Slot-Constraint-Sugar
       Frame-Ontology ...
    Ranges
       Frame-Ontology ...

Ontologies that include 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

Simple-Time uses the same ontologies as it includes.

Ontologies using Simple-Time are the same as those that include it.

Class hierarchy (14 classes defined):

    Day-Name
    Day-Number
    Duration
    Hour-Number
    Minute-Number
    Month-Name
    Month-Number
    Second-Number
    Time-Point
       Calendar-Date
       Calendar-Year
       Universal-Time-Spec
    Time-Range
    Year-Number

17 relations defined:

  <
  >
  After
  After=
  Before
  Before=
  Disjoint-Time-Ranges
  During
  During=
  Equals
  Finishes
  Finishes=
  Meets
  Overlaps
  Overlaps=
  Start=
  Starts

16 functions defined:

  +
  Day-Name-Of
  Day-Of
  Duration-Of
  End-Time-Of
  Hour-Of
  Minute-Of
  Minutes-Of
  Month-Name-Of
  Month-Of
  Second-Of
  Seconds-Of
  Start-Time-Of
  Unit-Of
  Value-Of
  Year-Of

19 instances defined:

  April
  August
  December
  February
  Friday
  January
  July
  June
  March
  May
  Monday
  November
  October
  Saturday
  September
  Sunday
  Thursday
  Tuesday
  Wednesday

46 unnamed axioms defined.

No named axioms defined.

14 classes defined:

  Calendar-Date
  Calendar-Year
  Day-Name
  Day-Number
  Duration
  Hour-Number
  Minute-Number
  Month-Name
  Month-Number
  Second-Number
  Time-Point
  Time-Range
  Universal-Time-Spec
  Year-Number

All constants that were mentioned were defined.

The following constants are defined in this ontology and augment definitions in an included ontology(s) (this is not an error):