| (subclass SubatomicParticle ElementalSubstance) | Merge.kif 1133-1133 | SubatomicParticle ist eine teilkategorie von ElementalSubstance |
| (subclass AtomicNucleus SubatomicParticle) | Merge.kif 1145-1145 | AtomicNucleus ist eine teilkategorie von SubatomicParticle |
| (subclass Electron SubatomicParticle) | Merge.kif 1158-1158 | Electron ist eine teilkategorie von SubatomicParticle |
| (subclass Proton SubatomicParticle) | Merge.kif 1163-1163 | Proton ist eine teilkategorie von SubatomicParticle |
| (subclass Neutron SubatomicParticle) | Merge.kif 1168-1168 | Neutron ist eine teilkategorie von SubatomicParticle |
|
|