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