hasInitialStateAtTime has Category:OntologyElement and is an element of Transition
Name: hasInitialStateAtTime
Type: owl:ObjectProperty
Description: The time of the initial state in the transition.
'Ontology Design Patterns'