SBVR_ — SBVR Issue - "is" vs. "equals"

SBVR has “thing equals thing” as a synonymous form of “thing is thing”, but “equals” should not be used in this way by SBVR. The integer 2 is not the same number as 2.0. But 2 equals 2.0. “Equals” can mean the same as “is” when talking about things other than quantities, but “equals” means something a little different for quantities.

“equals” is defined in the dictionary differently than “is”.
A model of quantities and units of measure that would extend SBVR would define “equals” differently than SBVR now defines it so that the model would fits normal usage.

Recommendation:

Remove “thing equals thing”, “thing is equal to thing” and “thing = thing” from the list of synonymous form of “thing is thing”.
Change the two uses of “equals” in SBVR (in 8.1.1.1 and 8.6.2) that mean “is” to say “is”.

1. Remove "thing equals thing", "thing is equal to thing" and "thing = thing" from the list of synonymous form of "thing is thing".
2. Change the two uses of "equals" in SBVR (in 8.1.1.1 and 8.6.2) that mean "is" to say "is".
3. Add 'quantity equals quantity'.