| SubatomicParticle(subatomic particle)
| | J_particle, K_particle, WIMP, alpha_particle, antibaryon, antielectron, antilepton, antimeson, antimuon, antineutrino, antineutron, antiparticle, antiproton, antiquark, antitauon, b-meson, baryon, beauty_quark, beta_particle, boson, bottom_quark, charm_quark, cosmic_string, deuteron, down_quark, elementary_particle, fermion, flavor, flavour, fundamental_particle, gauge_boson, gluon, graviton, hadron, heavy_particle, hyperon, intermediate_vector_boson, k-meson, kaon, kappa-meson, lambda_hyperon, lambda_particle, lepton, magnetic_monopole, mesic, meson, mesonic, mesotron, micelle, mu-meson... |
| appearance as argument number 1 |
|
|
| (documentation SubatomicParticle ChineseLanguage "这是比 Atom 还要小、由 Atom 组成 的 ElementalSubstance 类别。") | chinese_format.kif 1609-1610 | |
| (documentation SubatomicParticle EnglishLanguage "The class of ElementalSubstances that are smaller than Atoms and compose Atoms.") | Merge.kif 1128-1129 | |
| (documentation SubatomicParticle JapaneseLanguage "ElementalSubstances のクラスは Atoms より小さく、Atoms を構成する。") | japanese_format.kif 187-188 | |
| (documentation SubatomicParticle SpanishLanguage "La clase de ElementalSubstances que son más pequeños y componer los Atoms.") | spanish_format.kif 223-224 | |
| (externalImage SubatomicParticle "http://upload.wikimedia.org/wikipedia/ commons/ 9/ 92/ Quark_structure_proton.svg") | pictureList.kif 2381-2381 | |
| (externalImage SubatomicParticle "http://upload.wikimedia.org/wikipedia/ commons/ a/ a9/ Atom.svg") | pictureList.kif 2007-2007 | |
| (externalImage SubatomicParticle "http://upload.wikimedia.org/wikipedia/ commons/ c/ cf/ HAtomOrbitals.png") | pictureList.kif 2380-2380 | |
| (externalImage SubatomicParticle "http://upload.wikimedia.org/wikipedia/ commons/ thumb/ a/ a9/ Atom.svg/ 180px_Atom.svg.png") | pictureList.kif 1258-1258 | |
| (subclass SubatomicParticle ElementalSubstance) | Merge.kif 1126-1126 | Subatomic particle is a subclass of elemental substance |
| appearance as argument number 2 |
|
|
| antecedent |
|
|
| (=> (instance ?PARTICLE SubatomicParticle) (exists (?ATOM) (and (instance ?ATOM Atom) (component ?PARTICLE ?ATOM)))) |
Merge.kif 1131-1136 |
|
|
|
|