| Domains
-- in order |
|
|
|
|
|
|
|
|
| • | Topological
relations |
||||||
| • | Measures of
duration |
||||||
| • | Clock and
calendar |
||||||
| • | Sequences of
temporal entities |
||||||
| • | Deictic time
(now) ? |
||||||
| • | Temporal
uncertainty ? |
||||||
| daml-time
mailing list |