Changes between Version 12 and Version 13 of TemplateDescriptionID

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

--

Legend:

Unmodified
Added
Removed
Modified
  • TemplateDescriptionID

    v12 v13  
    5959\begin{align*}  
    6060\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)) 
    6262\end{align*} 
    6363}}} 
Home
About PCA
Reference Data Services (RDS)
RDS Operations Support
Meetings and Conferences
ISO 15926
Special Interest Groups
Technical Advisory Board
Norwegian Continental Shelf Std
Projects
Search