atTime has Category:OntologyElement and is an element of TimeIndexedSituation
Name: atTime
Type: owl:ObjectProperty
Description: