ImplementationOfIndividualByIndividual
C3D4D8CFE1FB43E6AC53B73D25EBACB1
UPDATED MAR2023
implementedBy INVERSE implementsA PossibleIndividual existing in a NonActual PossibleWorld is implemented by a PossibleIndividual existing in the Actual World.
Pump P-101 in the Design World is implemented by the installed pump with ID P-101/AN-12345 in the Actual World.
At instantiation of this template it is mandatory to add meta:valEffectiveDate with the dateTime that the represented information became effective.
---[EssentialType] NonActualIndividual [hasImplemented] is implemented by [EssentialType] ActualIndividual [hasImplementer]The existence of this relationship does not tell that both have the same characteristics. The Counterpart relationship is the *ONLY* relationship allowable between objects in different Possible Worlds. A temporal part may have a Counterpart relationship whilst the temporal whole does not, ever.IN-OTHRL-600-20240408.png
[1]
dm:PossibleIndividual
[2]
dm:PossibleIndividual
[3]dm:TemporalWholePart[4]dm:PossibleIndividual[5]dm:TemporalWholePart[6]dm:PossibleIndividual[7]lci:Implementation[8]dm:[9]dm:[10]dm:[11]dm:[12]dm:
1hasImplementerdm:PossibleIndividuale.g. Actual Pump with serial number2hasImplementeddm:PossibleIndividuale.g. Designed Pump with tag number
PossibleIndividual(hasImplementer) &
PossibleIndividual(hasImplemented) &
exixts u1 exists u2(
PossibleIndividual(u1) &
TemporalWholePartTemplate(u1, hasImplementer) &
PossibleIndividual(u2) &
TemporalWholePartTemplate(u2, hasImplemented) &
ImplementationTemplate(u2, u1)) .]]>