Base Template IdentificationByNumber

This is a template for naming things by real numbers.
IdentificationByNumber(a, b) means that a is a real number, and a refers to b.

1 valIdentifier ExpressReal
2 hasIdentified Thing


IdentificationByNumber(x1, x2) <-> 
ExpressReal(x1) & 
Thing(x2) & 
ClassOfIdentificationTemplate(x1, x2) . 

NOTE This template is a specialized version of the ClassOfIdentificationTemplate, constraining the type of the first argument from ClassOfInformationRepresentation to its subtype ExpressReal. EXAMPLE The statement that the number Pie is identified by the decimal number 3.14 may be expressed as IdentificationByNumber(3.14, Pie).

About PCA
Reference Data Services (RDS)
RDS Operations Support
Meetings and Conferences
ISO 15926
Special Interest Groups
Technical Advisory Board
Norwegian Continental Shelf Std