Closed jesper-friis closed 2 years ago
Reintroduced disjoint unions (where they could be introduces).
Cleaned also up the description of bosons and make a clear separation between the following properties:
Note that Wikipedia messes this slightly up, which complicated the work.
Introduced ElementaryBoson, TensorBoson and PseudoVectorBoson to make the taxonomy cleaner.
By cleaning this up removed the equivalence between Higgs boson and scalar boson as well as between graviton and tensor boson.
An issue with the reintroduced disjoint unions is that is slows down the reasoner. Should we make the standard model a reference ontology?