No TPTP formula. May not be expressible in strict first order. | Merge.kif 1133-1133 | 子類 SubatomicParticle and ElementalSubstance |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 1145-1145 | 子類 AtomicNucleus and SubatomicParticle |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 1158-1158 | 子類 Electron and SubatomicParticle |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 1163-1163 | 子類 Proton and SubatomicParticle |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 1168-1168 | 子類 Neutron and SubatomicParticle |