Changes between Version 11 and Version 12 of TemplateDescriptionID
- Timestamp:
- 06/09/08 23:33:17 (16 years ago)
Legend:
- Unmodified
- Added
- Removed
- Modified
-
TemplateDescriptionID
v11 v12 34 34 \begin{align*} 35 35 \trole{ID\_Identified}( x ) &\supset \etype{Thing}(x) \\ 36 \trole{ID\_Identifier}( x ) &\supset \etype{ClassOfInformationRepresentation}(x) 36 \trole{ID\_Identifier}( x ) &\supset \etype{ClassOfInformationRepresentation}(x) 37 37 \end{align*} 38 38 }}} … … 46 46 \begin{align*} 47 47 \trole{ID\_Identified}( x ) \equiv \quad & 48 \exists y(\etype{ClassOfIdentification}( y ) \land \eattr{represented}(y, x) 48 \exists y(\etype{ClassOfIdentification}( y ) \land \eattr{represented}(y, x)) 49 49 \\ 50 50 \trole{ID\_Identifier}( x ) \equiv \quad & 51 \exists y(\etype{ClassOfIdentification}( y ) \land \eattr{pattern}(y, x) 51 \exists y(\etype{ClassOfIdentification}( y ) \land \eattr{pattern}(y, x)) 52 52 \end{align*} 53 53 }}}