Dear All, we need to provide other definitions of identifiers in continua.
E60 Number
Subclass of:E59 <#_E59_Primitive_Value> Primitive Value
Scope Note:This class comprises any encoding of computable (algebraic)
values such as integers, real numbers, complex numbers, vectors, tensors
etc., including intervals of these values to express limited precision.
Numbers are fundamentally distinct from identifiers in continua, such as
instances of E50 Date and E47 Spatial Coordinate, even though their
encoding may be similar. Instances of E60 Number can be combined with
each other in algebraic operations to yield other instances of E60
Number, e.g., 1+1=2. Identifiers in continua may be combined with
numbers expressing distances to yield new identifiers, e.g., 1924-01-31
+ 2 days = 1924-02-02. Cf. E54 Dimension
Examples:
§5
§3+2i
§1.5e-04
§(0.5, - 0.7,88)
In First Order Logic:
E60(x) ⊃E59(x)
--
------------------------------------
Dr. Martin Doerr
Honorary Head of the
Center for Cultural Informatics
Information Systems Laboratory
Institute of Computer Science
Foundation for Research and Technology - Hellas (FORTH)
N.Plastira 100, Vassilika Vouton,
GR70013 Heraklion,Crete,Greece
Vox:+30(2810)391625
Email: [email protected]
Web-site: http://www.ics.forth.gr/isl
