= 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*}
\mathsf{IDt}( x_1, x_2 ) &\supset \mathsf{ID\_Identified}( x_1 ) \land \mathsf{IDt\_Identifier}( x_2 )
\end{align*}
}}}
where the roles [[LatexEquation(\mathsf{ID\_Identified})]] and [[LatexEquation(\mathsf{ID\_Identified})]] are again defined as follows.

{{{
#!LatexEquation
\begin{align*}
\mathsf{ID\_Identified}( x ) &\supset \mathsf{Thing}(x) \\
\mathsf{IDt\_Identifier}( x ) &\supset \mathsf{Express\_String}(x) 
\end{align*}
}}}

=== Normative representation in first-order logic ===

{{{
#!LatexEquation
\begin{align*}
\mathsf{IDt}( x_1, x_2 ) \equiv \quad &\mathsf{ID\_Identified}( x_1 ) \land \mathsf{IDt\_Identifier}( x_2 ) \land\\
 & \exists y(\mathsf{IndirectProperty}( y ) \land \mathsf{possessor}(y, x_1) \land \mathsf{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$^\circ$C}{Property}
  [l]
  !q{normal_temp_Alfred}{Indirect Property}
  (!s{normal_temp_Alfred}{a}{possessor}{37C}{property})
 }
}}}