|
ENTITY luminous_flux_unit SUBTYPE OF (named_unit); WHERE WR1: derive_dimensional_exponents(SELF) = dimensions_for_si_unit (si_unit_name.lumen); END_ENTITY; -- luminous_flux_unit |
Entity data types and their attributesnamed_unitdimensions: dimensional_exponents; luminous_flux_unit - |
Global rules for this entity data type- |