Theory JAT-GENERIC

• Last modified: Friday, 29 April 1994
• Source code: job-assignment-generic.lisp
• List of other 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

The following constants were used from included theories:

• < defined as a relation in theory Kif-Numbers
• =< defined as a relation in theory Kif-Numbers
• All-Instances defined as a function in theory Frame-Ontology
• Arity defined as a function in theory Frame-Ontology
• Class defined as a class in theory Frame-Ontology
• Documentation defined as a relation in theory Frame-Ontology
• Domain defined as a relation in theory Frame-Ontology
• Function defined as a class in theory Kif-Relations
• Individual defined as a class in theory Kif-Sets
• Instance-Of defined as a relation in theory Frame-Ontology
• Integer defined as a class in theory Kif-Numbers
• Inverse defined as a function in theory Kif-Relations
• Nth-Domain defined as a relation in theory Frame-Ontology
• Range defined as a relation in theory Frame-Ontology
• Real-Number defined as a class in theory Kif-Numbers
• Relation defined as a class in theory Kif-Relations
• Subclass-Of defined as a relation in theory Frame-Ontology
• Value-Cardinality defined as a function in theory Frame-Ontology

All constants that were mentioned were defined.