=== Base Template !IdentificationByNumber ===

[[br]]This is a template for naming things by real numbers. 
[[br]]!IdentificationByNumber(a, b) means that a is a real number, and a refers to b. 
[[br]]
[[br]]Roles: 
[[br]]1 valIdentifier !ExpressReal 
[[br]]2 hasIdentified Thing 

Axiom: 
{{{
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).