EndedParticipationOfClassInActivity
55D5FD1BD995404B8A11CAC2271BAC2F
UPDATED MAR2023
classMemberHasEndedParticipationInActivityAn unidentified instance of ClassOfPhysicalObject has ended to participate, in a given Role, in an Activity,on a given dateTime.
An unidentified member of the Compressor Class 'MODEL Hm-347x' has been purchased through PURCHASING Activity A5743832.
At instantiation of this template it is mandatory to add meta:valEffectiveDate with the dateTime that the represented information became effective.
TemplateForIndividualActivityAn unidentified member of [EssentialType] class [hasParticipant] has ended, on [valEndDate], its participation in the [EssentialType] Activity [hasActivity] in the Role of [hasParticipantRole].IN-ACTIV-043-21211224.png
[1]
dm:Activity
[2]
lci:ClassOfPhysicalObject
[3]dm:Role[4]dm:RepresentationOfGregorianDateAndUtcTime[5]dm:SpecializationByRole
[6]dm:SpecializationByDomain[7]dm:ParticipatingRoleAndDomain
[8]dm:ClassOfParticipation[9]dm:Classification[10]dm:TemporalWholePart[11]dm:Activity[12]dm:Participation[13]dm:PhysicalObject[14]dm:TemporalWholePart[15]dm:Classification[16]dm:PhysicalObject[17]dm:Ending[18]dm:Ending[19]dm:PointInTime[20]dm:ClassOfIdentification
1hasActivitydm:Activity2hasParticipantTyoelci:ClassOfPhysicalObject3hasParticipantRoledm:Roleuse ID from RDL 4valEndDatedm:RepresentationOfGregorianDateAndUtcTime
Activity(hasActivity) &
ClassOfPhysicalObject(hasParticipantType) &
Role(hasParticipantRole) &
RepresentationOfGregorianDateAndUtcTime(valEndDate) &
exists u1 exists u2 exists u3 exists u4 exists u5 exists u6 exists u7(
SpecializationByRoleTemplate(u5, hasParticipantRole) &
SpecializationByDomainTemplate(u5, hasParticipantType) &
RoleAndDomain(u5) &
classOfPart(u6, u5) &
ClassOfParticipation(u6) &
ClassificationTemplate(u2, u6) &
TemporalWholePartTemplate(u1, hasActivity) &
Activity(u1) &
ParticipationTriple(u2, u3, u1) &
TemporalWholePartTemplate(u3, u4) &
PhysicalObject(u3) &
PhysicalObject(u4) &
ClassificationTemplate(u4, hasParticipantType) &
EndingTemplate(u7, u1) &
EndingTemplate(u7, u3) &
PointInTime(u7) &
ClassOfIdentificationTemplate(valEndDate, u7)) .]]>