Submissions:Transition/isFinalSituationIncludedIn
From Odp
isFinalSituationIncludedIn has Category:OntologyElement and is an element of Transition
Name: isFinalSituationIncludedIn
Type: owl:ObjectProperty
Description: A relation between a transition situation and the situation resulting from the transition.