Changes between Version 12 and Version 13 of TemplateDescriptionID
- Timestamp:
- 06/09/08 23:33:52 (16 years ago)
Legend:
- Unmodified
- Added
- Removed
- Modified
-
TemplateDescriptionID
v12 v13 59 59 \begin{align*} 60 60 \tname{ID}( x_1, x_2 ) \equiv \quad &\trole{ID\_Identified}( x_1 ) \land \trole{ID\_Identifier}( x_2 ) \land\\ 61 & \exists y(\etype{ClassOfIdentification}( y ) \land \eattr{represented}(y, x_1) \land \eattr{pattern}( y, x_2) 61 & \exists y(\etype{ClassOfIdentification}( y ) \land \eattr{represented}(y, x_1) \land \eattr{pattern}( y, x_2)) 62 62 \end{align*} 63 63 }}}