MetadataThis section provides information about 'Implementation'.
Definition
An <Implementation> is a <Relationship> between two objects in different Possible Worlds, as defined by David K. Lewis in his Counterpart Theory, where this relationship is called &amp;#39;counterpart&amp;#39;
AlignmentThis section lists the most specific P2-superclasses of 'Implementation' together with an alignment with corresponding classes in P14, if available.