Navigation

arithmetic_number

An <arithmetic_number> is a <class_of_class> whose member classes have the same sign and count or magnitude. An <arithmetic_number> is the number itself, not any representation of the number.
NOTE <integer_number> is not a subtype of <real_number>. The members of <integer_number> are part of a different continuum from the members of <real_number>, but are isomorphic to a subset of it.
EXAMPLE 1 The number 2 and the number 2.0 can be represented by instances of <arithmetic_number>.
EXAMPLE 2 Fifteen, the number itself not the English word "fifteen", is an <arithmetic_number>. It could be represented by an <EXPRESS_integer> or an <EXPRESS_real> but could also be represented by "XV", or a binary, or a hexadecimal representation.

EXPRESS specification:

ENTITY arithmetic_number
SUPERTYPE OF (ONEOF(real_number, integer_number, multidimensional_number))
SUBTYPE OF ( class_of_class);
END_ENTITY;

References (7):

Name Type Referred through Express-G
class_of_class Entity
Subtype
Diagram 3
integer_number Entity
Supertype
Diagram 5
lower_bound_of_number_range Entity
Attribute 'classified'
Diagram 5
multidimensional_number Entity
Supertype
Diagram 5
property_quantification Entity
Attribute 'result'
Diagram 26
real_number Entity
Supertype
Diagram 5
upper_bound_of_number_range Entity
Attribute 'classified'
Diagram 5

Inheritance graph

ENTITY arithmetic_number;
ENTITY thing;
id  :  STRING;
record_copy_created  :  OPTIONAL representation_of_Gregorian_date_and_UTC_time;
record_created  :  OPTIONAL representation_of_Gregorian_date_and_UTC_time;
record_creator  :  OPTIONAL possible_individual;
record_logically_deleted  :  OPTIONAL representation_of_Gregorian_date_and_UTC_time;
why_deleted  :  OPTIONAL class_of_information_representation;
ENTITY abstract_object;
ENTITY class;
ENTITY class_of_abstract_object;
ENTITY class_of_class;
ENTITY arithmetic_number;
END_ENTITY;