Theory JAT-GENERIC

• Last modified: Friday, 29 April 1994
• Source code: job-assignment-generic.lisp
• List of all known theories

Theory documentation:

This theory defines a generic ontology. Concepts in this ontolgy can be shared in several different tasks. Only temporal concepts are defined at present. This theory is based on Ontolingua V 3.0

Cross Reference Report:

Theories included by Jat-Generic:

  Frame-Ontology

Theories that include Jat-Generic:

  Job-Assignment-Task

14 classes defined:

    Day-Name
    Day-Number
    Duration
    Hour-Number
    Integer-Range
    Minute-Number
    Month-Name
    Month-Number
    Real-Range
    Second-Number
    Temporal-Measure
    Time-Point
    Time-Range
    Year-Number

21 relations defined:

  After
  After=
  Before
  Before=
  Disjoint-Tr
  Dr<
  Dr=
  Dr>
  During
  During=
  Equals
  Finishes
  Finishes=
  Meets
  Overlaps
  Overlaps=
  Start=
  Starts
  Tp<
  Tp=
  Tp>

21 functions defined:

  Dr+
  Duration.Measure
  Duration.Value
  I-Lower-Bound
  I-Upper-Bound
  R-Lower-Bound
  R-Upper-Bound
  Time-Point.Day
  Time-Point.Day-Name
  Time-Point.Hour
  Time-Point.Minute
  Time-Point.Month
  Time-Point.Month-Name
  Time-Point.Second
  Time-Point.Unit
  Time-Point.Year
  Time-Range.Duration
  Time-Range.End-Time
  Time-Range.Start-Time
  Tp+
  Tr+

25 instances defined:

  April
  August
  Day
  December
  February
  Friday
  Hour
  January
  July
  June
  March
  May
  Minute
  Monday
  Month
  November
  October
  Saturday
  Second
  September
  Sunday
  Thursday
  Tuesday
  Wednesday
  Year

14 classes defined:

  Day-Name
  Day-Number
  Duration
  Hour-Number
  Integer-Range
  Minute-Number
  Month-Name
  Month-Number
  Real-Range
  Second-Number
  Temporal-Measure
  Time-Point
  Time-Range
  Year-Number

All constants that were mentioned were defined.