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
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
After After= Before Before= Disjoint-Tr Dr< Dr= Dr> During During= Equals Finishes Finishes= Meets Overlaps Overlaps= Start= Starts Tp< Tp= Tp>
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+
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:
All constants that were mentioned were defined.