ActivityCausesEndedIndividual
R619C8EBF1B7C434EA5F3F2A0AB6D31D3
UPDATED MAR2023
TemplateForActivity
[EssentialType] [Actual | NonActual] Activity [hasActivity] causes the ending of the existence of [EssentialType] [Actual | NonActual] Individual [hasEndedIndividual]
causesEndingOfIndividualAn Activity causes an Event that, in turn, marks the ending of a PossibleIndividual.
The Activity A5833422, classified as DEMOLISHING, ends the existence of Actual PUMP P-101.
At instantiation of this template it is mandatory to add meta:valEffectiveDate with the dateTime that the represented information became effective.
This PossibleIndividual can be a WholeLifeIndividual but also a temporal part of a PossibleIndividual. In the latter case that will be possible only when that temporal part had been declared
IN-ACTIV-280-20211223.png
[1]
dm:Activity
[2]
dm:PossibleIndividual
[3]
dm:CauseOfEvent
[4]dm:Event[5]dm:Ending[6]dm:Ending[7]dm:CompositionOfIndividual[8]dm:PointInTime[9]dm:ClassOfIdentification[10]dm:RepresentationOfGregorianDateAndUtcTime
1
hasActivity
dm:Activity
2hasEndedIndividualdm:PossibleIndividual
Activity(hasActivity) &
PossibleIndividual(hasEndedIndividual) &
exists u1 exists u2 exists u3(
CauseOfEventTemplatee(u1, hasActivity) &
Event(u1) &
EndingTemplate(u1, hasEndedIndividual) &
EndingTemplate(u2, hasEndedIndividual) &
CompositionOfIndividualTemplate(u2, u1) &
PointInTime(u2) &
ClassOfIdentificationTemplate(u3, u2) &
RepresentationOfGregorianDateAndUtcTime(u3)) .]]>