wasEndedBy

End is when an activity is deemed to have ended. An end may refer to an entity, known as trigger, that terminated the activity.

Domain: Activity

Range: Entity

IRI: http://www.w3.org/ns/prov/wasEndedBy