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

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

'''IDt'''

||''role names:''||'''ID_Identified'''||'''IDt_Identifier'''||
||''entity types required:''||Thing||Express String||

Note that Thing is an abstract entity type. Enforcing ''this'' is however not the responsibility of the template itself.

A first-order formula expressing the same:

{{{
#!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\_Identified})]] are again defined as follows.

{{{
#!LatexEquation
\begin{align*}
\trole{ID\_Identified}( x ) &\supset \etype{Thing}(x) \\
\trole{IDt\_Identifier}( x ) &\supset \etype{Express\_String}(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{IndirectProperty}( y ) \land \eattr{possessor}(y, x_1) \land \eattr{property}( y, x_2)
\end{align*}
}}}
== Examples of expressions that this template should be able to represent ==
== Graph illustrating an example ==
{{{
#!LatexEquation
\TemplateDiagram{
  !c{a}{Alfred}{Individual}
  [rr]
  !c{37C}{37.5$^\circ$C}{Property}
  [l]
  !q{normal_temp_Alfred}{Indirect Property}
  (!s{normal_temp_Alfred}{a}{possessor}{37C}{property})
 }
}}}