|
ENTITY si_power_unit SUBTYPE OF (power_unit, si_unit); WHERE WR1: SELF\si_unit.name = si_unit_name.watt; WR2: NOT EXISTS(SELF\derived_unit.name); END_ENTITY; -- si_power_unit |
Entity data types and their attributesderived_unitelements: SET [1:?] OF derived_unit_element; (DER) name: label; power_unit - named_unit dimensions: dimensional_exponents; si_unit (OPT) prefix: si_prefix; name: si_unit_name; (RT) (DER) dimensions: dimensional_exponents; si_power_unit - |
Global rules for this entity data type- |