Modelling antiparticles, antileptons, and antimatter

It seems that some particle types (flavours) can in some cases be their own antiparticles. This is handled by the Association to self Anti on block Particle. There is a similar redefining Association to self Anti on block Lepton, which uses a tagged value on «pa:term» to record {aka = "antilepton"}.

It seems also that the antiparticle concept is symmetric: 'The opposite is also true: the antiparticle of the positron is the electron'. So now the ends of the Association Anti between Electron and Positron are both named antiParticle (previously one was named particle), and they both redefine the Property of the same name from Lepton.

Apparently there are kinds of "charge" other than electric charge that get reversed between particles and antiparticles, but we have not been told yet what they are. We can at least have a corresponding constraint for «electric» Charge on Particle.

One of the snippets on antimatter leads to the stereotype keywords «matter» and «antimatter», which have been applied to Electron and Proton and to Positron and AntiProton respectively. (It is not clear yet how neutrinos should be handled, and there may be other particles that are their own anti-particles, and thus are not exclusively matter or antimatter.)

Only some of the attributes differ between Electron and Positron (and likewise between Proton and AntiProton):

Wikipedia: 'In particle physics, every type of particle is associated with [an] antiparticle with the same mass but with opposite physical charges (such as electric charge).'

Apparently the mass is shared, and perhaps some other attributes that are not "charge" related. Is there some kind of intermediate abstraction such a "AbstractElectron" that can be shared between them? That brave step is taken next when we also fill in some of the basic data on Electron and Positron.

Up next

Mass and charge of electron and positron

Notes

[POLICY, STYLE]{STRICT} Webel Parsing Analysis «pa» diagrams are NOT intended as final presentation diagrams! They serve merely to traceably elicit model elements, which may then be shown in other (typically much tidier) presentation diagrams elsewhere.

[DISPLAY, STYLE, TIP]{SUGGESTED} Webel Parsing Analysis: If the dashed-line "anchors" from your «snippet» ElementGroup symbols to elicited elements make a «pa» Parsing Analysis Diagram (PAD) too hard to read, try making them light grey using symbol properties.

Snippets (quotes/extracts)

For every lepton flavor, there is a corresponding type of antiparticle, known as an antilepton, that differs from the lepton only in that some of its properties have equal magnitude but opposite sign.

According to certain theories, neutrinos may be their own antiparticle. It is not currently known whether this is the case.

In particle physics, every type of particle is associated with [an] antiparticle with the same mass but with opposite physical charges (such as electric charge).

For example, the antiparticle of the electron is the antielectron (which is often referred to as positron).

While the electron has a negative electric charge, the positron has a positive electric charge, and is produced naturally in certain types of radioactive decay. The opposite is also true: the antiparticle of the positron is the electron.

In modern physics, antimatter is defined as matter which is composed of the antiparticles (or "partners") of the corresponding particles of 'ordinary' matter.