= Template '''ID''': Assignment of indirect property =
This page shows ''work in progress'', and is intended as ''informative only''.

== Purpose of the template ==
== Definition ==
ID( !x1:Thing, !x2:ClassOfInformationRepresentation ) states that x2 is an  identifier for x1.

=== Signature ===
The following table indicates what the roles (or "arguments"), are, and the requirements on entity types for each.

'''IDt'''

||''role names:''||'''ID_Identified'''||'''ID_Identifier'''||
||''entity types required:''||Thing||!ClassOfInformationRepresentation||

A formula expressing the same is,
{{{
#!LatexEquation
\begin{align*}
\tname{IDt}( x_1, x_2 ) &\supset \trole{ID\_Identified}( x_1 ) \land \trole{IDt\_Identifier}( x_2 )
\end{align*}
}}}
where the roles [[LatexEquation(\trole{ID\_Identified})]] and [[LatexEquation(\trole{ID\_Identifier})]] are again defined as follows.

{{{
#!LatexEquation
\begin{align*}
\trole{ID\_Identified}( x ) &\supset \etype{Thing}(x) \\
\trole{IDt\_Identifier}( x ) &\supset \etype{ClassOfInformationRepresentation}(x) 
\end{align*}
}}}
=== Normative representation in first-order logic ===
{{{
#!LatexEquation
\begin{align*} 
\tname{IDt}( x_1, x_2 ) \equiv \quad &\trole{ID\_Identified}( x_1 ) \land \trole{IDt\_Identifier}( x_2 ) \land\\
 & \exists y(\etype{ClassOfIdentification}( y ) \land \eattr{represented}(y, x_1) \land \eattr{pattern}( y, x_2)
\end{align*}
}}}
== Examples of expressions that this template should be able to represent ==
== Graph illustrating an example ==
{{{
#!LatexEquation
\TemplateDiagram{
  !c{a}{R1234}{PossibleIndividual}
  [rr]
  !c{alfred_str}{"Alfred"}{ClassOfInformationRepresentation}
  [l]
  !q{id}{ClassOfIdentification}
  (!s{id}{a}{represented}{alfred_str}{pattern})
 }
}}}