Changes between Version 11 and Version 12 of TemplateDescriptionID

Show
Ignore:
Timestamp:
06/09/08 23:33:17 (14 years ago)
Author:
jowik (IP: 193.212.132.34)
Comment:

--

Legend:

Unmodified
Added
Removed
Modified
  • TemplateDescriptionID

    v11 v12  
    3434\begin{align*} 
    3535\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) 
    3737\end{align*} 
    3838}}} 
     
    4646\begin{align*}  
    4747\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))  
    4949\\ 
    5050\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)) 
    5252\end{align*} 
    5353}}} 
Home
About PCA
Reference Data Services
Projects