Submissions:Transition/hasFinalStateAtTime
From Odp
hasFinalStateAtTime has Category:OntologyElement and is an element of Transition
Name: hasFinalStateAtTime
Type: owl:ObjectProperty
Description: The time of the final state of the transition.
hasFinalStateAtTime has Category:OntologyElement and is an element of Transition
Name: hasFinalStateAtTime
Type: owl:ObjectProperty
Description: The time of the final state of the transition.