stap-m

We have also `chemical energy transfer`, which has no subclasses yet. Probably, this should imply things like the transfer or natural gas through a pipeline? I would argue to depict...

For the record, these are the current inferred subclasses:   

The classes are not inffered correctly. There seems to be a problem with the _not_ operation.

> However, we have to check whether existing inferred subclasses need then additional or refined `has main energy input/output' axioms. Would it make sense to add them to all energy...

> The classes are not inffered correctly. There seems to be a problem with the _not_ operation. I slightly changed the equivalence definition, see above, for `electricity generation process`. The...

To be discussed: * Not inferred (correctly) as `electricity generation process`: * `combined heat and power generation` because it has no main energy input defined * `electrical energy transfer`: the...

I thought about adding the combined _some_ and _only_ operators to the subprocesses itself, but that would have been ugly. But this solution is neat! I'll try it out. However,...

Ok, now I am mixing up stuff, sorry! 🙈 But at least we don't need any tricks... > * `combined heat and power generation` because it has no main energy...

I replaced the only-axioms as proposed. The hierarchy is inferred correctly. Yet, `heat transfer` is still inferred as `heat generation process` and `electrical energy transfer` as `electricity generation process`, as...

Obviously, we are kind of stuck here. I would like to rethink the two concepts of `"specific" energy transformation` and `energy transfer`. Maybe it is not the right approach to...