Navigation

property_quantification

A <property_quantification> is a <functional_mapping> whose members map a <property> to an <arithmetic_number>.
EXAMPLE The link that maps a particular mass to the number 4.2 can be represented by an instance of <property_quantification>.
NOTE 1 The actual representation of the number is done by linking the <arithmetic_number> to a <class_of_EXPRESS_information_representation> via a <class_of_representation_of_thing>.
NOTE 2 The unit or scale of the quantification is given by classifying the <property_quantification> by a <scale>.

EXPRESS specification:

ENTITY property_quantification
SUBTYPE OF ( functional_mapping);
SELF\functional_mapping.input  :  property;
SELF\functional_mapping.result  :  arithmetic_number;
END_ENTITY;

Attribute definitions:

input  :  The <property> that is quantified by the referenced <arithmetic_number>
result  :  The <arithmetic_number> that quantifies the referenced <property>

References (1):

Name Type Referred through Express-G
functional_mapping Entity
Subtype
Diagram 15

Inheritance graph

ENTITY property_quantification;
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 relationship;
ENTITY functional_mapping;
ENTITY property_quantification;
input  :  property;
result  :  arithmetic_number;
END_ENTITY;