Add `has participant` axioms

[l-emele]

Description of the issue

We have a lot of subclasses of process where the definition imply a has participant relation but these are not axiomatised.

Ideas of solution

The following list shows existing definitions and the highlighted part imply an axiom:

• Non-energy use is the consumption of an energy carrier without making use the energy it carries. 'non-energy use' 'has participant' some 'energy carrier'
• A cold start is a process in which an energy transformation unit is started-up after a period of inactivity. 'cold start' 'has participant' some 'energy transformation unit'
• Cooperative programming is the process of two or more people working on program code together at the same time (according to a specified routine). 'cooperative programming' 'has participant' min 2 person
• Distribution is the process of delivering goods and services to agents distribution ('has participant' some good) or ('causally related to' some service)
• Export is the process of selling goods or services abroad and their delivery to a foreign market. export ('has participant' some good) or ('causally related to' some service)
• Import is the process of purchasing goods or services abroad and their delivery to the domestic market.
• Electricity export is the export of electrical energy. 'electricity export' 'has participant' some 'electrical energy'
• Electricity import is the import of electrical energy. 'electricity import' 'has participant' some 'electrical energy'
• Frequency control is a process that regulates the electricity output of an artificial object to maintain the equilibrium between electricity supply and demand. 'frequency control' 'has participant' some ('artifical object' 'has energy output' some 'electrical energy')
• A request is a process whereby an agent asks another agent for something or to do something. request 'has participant' min 2 agent
• A service is a process that is an intangible actitvity performed by some agent for the benefit of another agent. service 'has participant' some agent
• A chemical reaction is a transformation that involves the interconversion of chemical species. 'chemical reaction' 'has participant' some 'material entity' (material entity, as we do not have something like chemical species)

Workflow checklist

• [ ] I discussed the issue with someone else than me before working on a solution
• [ ] I already read the latest version of the workflow for this repository
• [ ] The goal of this ontology is clear to me

I am aware that

• [ ] every entry in the ontology should have a definition
• [ ] classes should arise from concepts rather than from words

[l-emele]

If no one objects in the next days, I will implement these axioms.