atTime has Category:OntologyElement and is an element of TimeIndexedPartOf
Name: at time
Type: owl:ObjectProperty
Description: A relation between a temporary part-of situation and the time it occurs at. It is a subproperty of is setting for, its domain is the class of time indexed part of situations, its range is the class time interval.
'Ontology Design Patterns'