Modelling antiparticles, antileptons, and antimatter

This content has been marked as discussing an ADVANCED topic!
Click on the image to view it full size
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):

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
Snippets (quotes/extracts)
Visit also
Visit also (backlinks)
Related slides (other tutorials)
Related slides (other tutorials, backlinks)