Open nelekoehler opened 3 weeks ago
I agree to your proposal.
As energy
now will become a quantity
the mental distinction between energy
and energy amount
becomes obsolete. I therefore suggest to relabel energy amount value
to energy value
which feels much more natural.[^1]
Regarding energy storage I suggest the following:
stored energy
: A stored energy is an energy that is contained in an energy storage object.
'stored energy' SubClassOf: 'quality of' some 'energy storage object'
energy storage content value
. Instead I suggest the following new definition: An energy storage content is an energy value that quantifies stored energy.[^1]: Logical follow-up change: shorten electrical energy amount value
to electrical energy value
Yes that makes sense, I agree. I will create a PR for that.
As
energy
now will become aquantity value
the mental distinction betweenenergy
andenergy amount
becomes obsolete. I therefore suggest to relabelenergy amount value
toenergy value
which feels much more natural.1
Actually, energy
becomes a quantity, not a quantity value.
We called the class energy amout value
(usually also called "amount of energy", or "Energiemenge" in German) originally to properly distict it from power values. It is a common mistake to mix that up...
Regarding energy storage I suggest the following:
- Add a class
stored energy
: A stored energy is an energy that is contained in an energy storage object.'stored energy' SubClassOf: 'quality of' some 'energy storage object'
- I would like to avoid a clunky label like
energy storage content value
. Instead I suggest the following new definition: An energy storage content is an energy value that quantifies stored energy.
Why would that be an improvement to what we have already? stored energy
seems like a weird concept when restricted to energy storage objects. What about energy stored in fuels?
From my point of view, the distiction on the quantity value level makes more sense than on the quantity level.
Description of the issue
As already discussed in #1510 and in dev-meeting 79 energy is a quantity. Quantity is equivalent to quality and ('has quantity value' some 'quantity value'), so we only need to add an axiom to a quantity value, so that energy will be inferred as a quantity.
Ideas of solution
Add axiom to energy: Subclass Of
has quantity value
someenergy amount value
To finalise the conversion of the quantity values in relation to energy, I would, in addition to adding the axiom to energy, update the term of energy storage content in the respective PR. I suggest adapting the label to the others and changing it to
energy storage content value
. I would addenergy storage content
as an alternative label. And I would also adapt the definition to the structure of the others:An energy storage content value is an energy amount value that expresses the magnitude of energy stored in an energy storage object.