(Imported from OWL file.) |
(No difference)
|
includesInitialSituation has Category:OntologyElement and is an element of Transition
Name: includesInitialSituation
Type: owl:ObjectProperty
Description: A relation between a transition situation and the situation existing before the transition event.