EndedParticipationOfPhysicalObjectInActivityType
8E35889AA19E449DA51CB38606029CC6
UPDATED MAR2023
hasEndedParticipationInActivityTypeA PhysicalObject has ended participation, in a given Role, in an unidentified member of a given ClassOfActivity, on a given dateTime.
At instantiation of this template it is mandatory to add meta:valEffectiveDate with the dateTime that the represented information became effective.
TemplateForIndividualActivity[EssentialType] individual [hasParticipant] has ended, on [valEndDate], its participation in an unidentified member of [EssentialType] ClassOfActivity [hasActivityType] in a [hasParticipantRole] RoleIN-ACTIV-051-20230306.png
[1]
dm:ClassOfActivity
[2]
dm:PhysicalObject
[3]dm:Role[4]dm:RepresentationOfGregorianDateAndUtcTime[5]dm:Classification[6]dm:PhysicalObject
[7]dm:TemporalWholePart[8]dm:Activity
[9]dm:TemporalWholePart[10]dm:PhysicalObject[11]dm:Participation[12]dm:Classification[13]dm:ClassOfParticipation[14]dm:ParticipatingRoleAndDomain[15]dm:SpecializationByDomain[16]dm:Ending[17]dm:Ending[18]dm:PointInTime[19]dm:ClassOfIdentification
1hasActivityTypedm:ClassOfActivity2hasParticipantdm:PhysicalObject3hasParticipantRoledm:Roleuse ID from RDL or ID of design4valEndDatedm:RepresentationOfGregorianDateAndUtcTime
ClassOfActivity(hasActivityType) &
PhysicalObject(hasParticipant) &
Role(hasParticipantRole)
RepresentationOfGregorianDateAndUtcTime(valEndDate) &
exists u1 exists u2 exists u3 exists u4 exists u5 exists u6 exusts u7(
ClassificationTemplate(u1, hasActivityType) &
Activity(u1) &
TemporalWholePartTemplate(u2, u1) &
Activity(u2) &
TemporalWholePartTemplate(u3, hasParticipant) &
PhysicalObject(u3) &
ParticipationTriple(u4, u3, u2) &
ClassificationTemplate(u4, u5) &
ClassOfParticipationTriple(u5, u6, hasActivityType) &
ParticipatingRoleAndDomain(u6) &
SpecializationByRoleTemplate(u6, hasParticipantRole) &
BeginningTemplate(u7, u2) &
BeginningTemplate(u7, u3) &
PointInTime(u7) &
ClassOfIdentificationTemplate(valEndDate, u7)) .]]>