An Ontology of Time