<?xml version="1.0" encoding="iso-8859-1"?>
<?xml-stylesheet type="text/xsl" href="xsl-for-template-specification.xsl"?>
<TemplateSpecification xmlns:xsi="http://www.w3.org/2001/XMLSchema-instance" xsi:noNamespaceSchemaLocation="xml-schema-for-template-specification.xsd">
	<TemplateName>InstallingPhysicalObjectInFunctionalLocation</TemplateName>
	<defaultRdsId>RB84E70566A224A7CB20C92EF77DEB640</defaultRdsId>
	<Status>UPDATED MAR2023</Status>
	<SubClassOf>TemplateForActivity</SubClassOf>
	<Definition>[EssentialType] individual[hasInstallationActivity] installs actual [EssentialType] individual [hasInstalledObject] in accordance with designed [EssentialType] individual [hasDesignedObject]</Definition>
	<TIPPredicate>instalsActualObjectInFunctionalLocation</TIPPredicate><Description>A (construction) Activity causes the beginning of an Actual Physical Object, that is a Counterpart of a NonActual (designed) PhysicalObject, meaning that the Actual Physical Object has been installed to implement the Functional Location for which the requirements were defined by the NonActual PhysicalObject.</Description>
	<Example>myPump, with Asset Number 654321, is installed, where that installed item is a counterpart of NonActual tag P-101 as designed.</Example>
	<Notes><![CDATA[The installed PhysicalObject shall be declared at the effective date of this template:
:[ID] rdf:type dm:PhysicalObject, dm:WholeLifeIndividual, dm:ActualIndividual ; meta:valEffectiveDate "[same as that of template]"^^xsd:dateTime .]]></Notes>
	<ScopeNote>This template includes the installation activity, the template ImplementationOfIndividualByIndividual does not.</ScopeNote>
	<AdminNote/>
	<LiftedAndLoweredGraph>IN-ACTIV-520-20211218.png</LiftedAndLoweredGraph>
	<LiftedTemplate>
    	<LiftedTemplateElements><Ref>1</Ref>
    		<URI>dm:Activity</URI>
    	</LiftedTemplateElements>
    	
    	<LiftedTemplateElements><Ref>2</Ref>
    		<URI>dm:PhysicalObject</URI>
    	</LiftedTemplateElements>
		<LiftedTemplateElements><Ref>3</Ref>
			<URI>dm:PhysicalObject</URI>
		</LiftedTemplateElements><LiftedTemplateElements><Ref>4</Ref><URI>dm:PhysicalObject</URI></LiftedTemplateElements>
		<LiftedTemplateElements><Ref>5</Ref>
			<URI>dm:TemporalWholePart</URI>
		</LiftedTemplateElements><LiftedTemplateElements><Ref>6</Ref><URI>dm:Activity</URI></LiftedTemplateElements><LiftedTemplateElements><Ref>7</Ref><URI>dm:CauseOfEvent</URI></LiftedTemplateElements><LiftedTemplateElements><Ref>8</Ref><URI>dm:Event</URI></LiftedTemplateElements><LiftedTemplateElements><Ref>9</Ref><URI>dm:Beginning</URI></LiftedTemplateElements>
	<LiftedTemplateElements><Ref>10</Ref><URI>dm:TemporalWholePart</URI></LiftedTemplateElements><LiftedTemplateElements><Ref>11</Ref><URI>lci:Implementation</URI></LiftedTemplateElements><LiftedTemplateElements><Ref>12</Ref><URI>dm:PhysicalObject</URI></LiftedTemplateElements><LiftedTemplateElements><Ref>13</Ref><URI>dm:TemporalWholePart</URI></LiftedTemplateElements><LiftedTemplateElements><Ref>14</Ref><URI>dm:CompositionOfIndividual</URI></LiftedTemplateElements><LiftedTemplateElements><Ref>15</Ref><URI>dm:Beginning</URI></LiftedTemplateElements><LiftedTemplateElements><Ref>16</Ref><URI>dm:PointInTime</URI></LiftedTemplateElements><LiftedTemplateElements><Ref>17</Ref><URI>dm:ClassOfIdentification</URI></LiftedTemplateElements><LiftedTemplateElements><Ref>18</Ref><URI>dm:RepresentationOfGregorianDateAndUtcTime</URI></LiftedTemplateElements></LiftedTemplate>
	<PropertiesOfLoweredTemplate>
	  	<TemplateSignature><RoleNo>1</RoleNo>
	  		<RoleName>hasInstallationActivity</RoleName>
	  		<RoleObjectType>dm:Activity</RoleObjectType>
	  		<RoleExample/>
	  	</TemplateSignature><TemplateSignature><RoleNo>2</RoleNo><RoleName>hasDesignedObject</RoleName><RoleObjectType>dm:PhysicalObject</RoleObjectType><RoleExample/></TemplateSignature><TemplateSignature><RoleNo>3</RoleNo><RoleName>hasActualObject</RoleName><RoleObjectType>dm:PhysicalObject</RoleObjectType><RoleExample/></TemplateSignature>
	<TemplateSignature><RoleNo>4</RoleNo><RoleName>hasInstalledObject</RoleName><RoleObjectType>dm:PhysicalObject</RoleObjectType><RoleExample>automatically declared</RoleExample></TemplateSignature></PropertiesOfLoweredTemplate>
	<LoweredTemplateOWLcode>
    		<![CDATA[
		]]>
 	 </LoweredTemplateOWLcode>
	<LoweredTemplateFOLcode><![CDATA[InstallingPhysicalObjectInFunctionalLocation(hasInstallationActivity, hasDesignedObject, hasActualObject, hasInstalledObject) <->
Activity(hasInstallationActivity) &
PhysicalObject(hasDesignedObject) &
PhysicalObject(hasActualObject) &
PhysicalObject(hasInstalledObject) &
TemporalWholePartTemplate(hasInstalledObject, hasActualObject) &
exists u1 exists u2 exists u3 exists u4 exists u5(
      Activity(u1) &
      TemporalWholePartTemplate(u1, hasInstallationActivity) &
      CauseOfEventTemplate(u2, u1) &
      Event(u2) &
      BeginningTemplate(u2, hasInstalledObject) &
      ImplementationTemplate(u3, x4) &
      PhysicalObject(u3) &
      TemporalWholePartTemplate(u3, hasDesignedObject) &
      BeginningTemplate(u4, u3) &
      CompositionOfIndividualTemplate(u2, u4) &
      PointInTime(u4) &
      ClassOfIdentificationTemplate(u5, u4) &
      RepresentationOfGregorianDateAndUtcTime(u5)) .]]>
</LoweredTemplateFOLcode>

<LoweredTemplateInstanceListing>
<![CDATA[GENERIC DEFINITION

tpl:InstallingPhysicalObjectInFunctionalLocation
      rdfs:subClassOf dm:Template ;
      rdfs:isDefinedBy  tpl:IN-ACTIV-520.xml ;
      tpl:hasInstallationActivity dm:Activity ;
      tpl:hasDesignedObject dm:PhysicalObject ;
      tpl:hasActualObject dm:PhysicalObject ;
      tpl:hasInstalledObject dm:PhysicalObject ;
      meta:valEffectiveDate xsd:dateTime .

# EXAMPLE - myPump, with Asset Number AN654321, is installed, where that installed item is a counterpart of NonActual tag P-101 as designed.
      
ex:a28c6aa9-9368-489f-86c9-575551106fc2
      rdf:type tpl:InstallingPhysicalObjectInFunctionalLocation ;
      tpl:hasInstallationActivity ex:f00c2631-88f4-4960-b18a-51dbfa2f0b77 ; # A4734822
      tpl:hasDesignedObject ex:ed339c26-9a8b-48c2-a2f2-ed85f35c2843 ; # P-101
      tpl:hasActualObject ex:255bd3cd-574d-442c-afe9-3e600866c905 ; # AN654321
      tpl:hasInstalledObject ex:3f65ab8c-66f7-4dde-8983-0028e1c528d3 ; # P-101/AN654321
      meta:valEffectiveDate "2021-12-17T14:07:00Z"^^xsd:dateTime .
]]>
</LoweredTemplateInstanceListing>
</TemplateSpecification>
