(subclass SubatomicParticle ElementalSubstance) | Merge.kif 1133-1133 | 素粒子 は 単体 の subclass では %n |
(subclass AtomicNucleus SubatomicParticle) | Merge.kif 1145-1145 | 原子核 は 素粒子 の subclass では %n |
(subclass Electron SubatomicParticle) | Merge.kif 1158-1158 | 電子 は 素粒子 の subclass では %n |
(subclass Proton SubatomicParticle) | Merge.kif 1163-1163 | 陽子 は 素粒子 の subclass では %n |
(subclass Neutron SubatomicParticle) | Merge.kif 1168-1168 | 中性子 は 素粒子 の subclass では %n |