Compose Megawatt-hour and other units - oeox paper quick fix

[nelekoehler]

Description of the issue

We already have implemented Megawatt-hour as an own energy-unit, but But because we now have oeo-extended and can compose new units from basic units, we should also add composed units such as megawatt-hour as such through composition. In particular, we want to use megawatt-hour as an example for a paper on oeox, which is why it should be implemented as soon as possible.
We should collect other units that we also want to compose again.
Here is a first list of the energy units:

• Megawatt-hour
• Gigawatt-hour
• Petawatt-hour
• Terawatt-hour

Ideas of solution

The composition for Megawatt-hour could look like this:

Megawatt-hour
EquivalentTo unit
and 'has linear unit numerator' some (watt-hour
and 'has prefix' some mega)

[stap-m]

We need the prefix relation for that, see #1402

[l-emele]

Here is a first list of the energy units:

* Megawatt-hour

* Gigawatt-hour

* Petawatt-hour

Terawatt-hour is missing in that list.

[chrwm]

Just to clarify - the units below should be implemented in oeo-extended.omn, isn't it?

If so, should the issue be moved to oeo-extended?

Units:

• Megawatt-hour
• Gigawatt-hour
• Petawatt-hour
• Terawatt-hour

[stap-m]

Just to clarify - the units below should be implemented in oeo-extended.omn, isn't it?

No, they are essential for the domain and can live in OEO. However, they will be used for other composed units, such as MWh/m2a in OEOX.

[l-emele]

gigawatt-hour, megawatt-hour, petawatt-hour and terawatt-hour should be made subclasses of watthour-based unit (as already kilowatt-hour and watt-hour are)

[NormanZielke]

I would implement

• megawatt-hour (already existing as subclass of energy unit: will be moved -> subclass of watt-hour based unit)

Definition:
definition "An energy unit which is equal to 1,000,000 watt-hours."
hasExactSynonym: "MWh"

EquivalentTo unit
and has linear unit numerator some (watt-hour
and has prefix some mega)

• gigawatt-hour (already existing as subclass of energy unit: will be moved -> subclass of watt-hour based unit)

Definition:
definition "An energy unit which is equal to 1,000,000,000 watt-hours."
hasExactSynonym: "GWh"
EquivalentTo unit
and has linear unit numerator some (watt-hour
and has prefix some giga)

• terawatt-hour (already existing as subclass of energy unit: will be moved -> subclass of watt-hour based unit)

Definition:
definition "An energy unit which is equal to 1,000,000,000,000 watt-hours."
hasExactSynonym: "TWh"
EquivalentTo unit
and has linear unit numerator some (watt-hour
and has prefix some tera)

• petawatt-hour (already existing as subclass of energy unit: will be moved -> subclass of watt-hour based unit)

Definition:
definition "An energy unit which is equal to 1,000,000,000,000,000 watt-hours."
hasExactSynonym: "PWh"
EquivalentTo unit
and has linear unit numerator some (watt-hour
and has prefix some peta)

as subclasses of watthour-based unit

If this is fine for you, I would start to implement on wednesday together with Nele

[stap-m]

For example, terawatt-hour is currently defined as An energy unit which is equal to 10^12 watt-hours..
I'd prefer expressions like 10^12 over 1,000,000,000,000.

[l-emele]

For example, terawatt-hour is currently defined as An energy unit which is equal to 10^12 watt-hours..
I'd prefer expressions like 10^12 over 1,000,000,000,000.

I agree.

[l-emele]

Also we should make it proper Aristotelian definitions, e.g. instead of An energy unit which is equal to 10^12 watt-hours. we should define: A terawatt-hour is a watt-hour based unit which is equal to 10^12 watt-hours.