Browsing Interface : Welcome guest : log in
Home |  Graph |  ]  KB:  Language:   

Formal Language: 



KB Term:  Term intersection
English Word: 

  SubatomicParticle

Sigma KEE - SubatomicParticle
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 1087-1088
(externalImage SubatomicParticle "http://upload.wikimedia.org/wikipedia/ commons/ 9/ 92/ Quark_structure_proton.svg") pictureList.kif 2383-2383
(externalImage SubatomicParticle "http://upload.wikimedia.org/wikipedia/ commons/ a/ a9/ Atom.svg") pictureList.kif 2009-2009
(externalImage SubatomicParticle "http://upload.wikimedia.org/wikipedia/ commons/ c/ cf/ HAtomOrbitals.png") pictureList.kif 2382-2382
(externalImage SubatomicParticle "http://upload.wikimedia.org/wikipedia/ commons/ thumb/ a/ a9/ Atom.svg/ 180px-Atom.svg.png") pictureList.kif 1259-1259
(subclass SubatomicParticle ElementalSubstance) Merge.kif 1085-1085 Subatomic particle is a subclass of elemental substance

appearance as argument number 2
-------------------------


(subclass AtomicNucleus SubatomicParticle) Merge.kif 1097-1097 Atomic nucleus is a subclass of subatomic particle
(subclass Electron SubatomicParticle) Merge.kif 1110-1110 Electron is a subclass of subatomic particle
(subclass Neutron SubatomicParticle) Merge.kif 1120-1120 Neutron is a subclass of subatomic particle
(subclass Proton SubatomicParticle) Merge.kif 1115-1115 Proton is a subclass of subatomic particle
(termFormat ChineseLanguage SubatomicParticle "次原子粒子") chinese_format.kif 822-822
(termFormat EnglishLanguage SubatomicParticle "subatomic particle") english_format.kif 846-846

antecedent
-------------------------


(=>
    (instance ?PARTICLE SubatomicParticle)
    (exists (?ATOM)
        (and
            (instance ?ATOM Atom)
            (component ?PARTICLE ?ATOM))))
Merge.kif 1090-1095


Show simplified definition (without tree view)
Show simplified definition (with tree view)

Show without tree


Sigma web home      Suggested Upper Merged Ontology (SUMO) web home
Sigma version 3.0 is open source software produced by Articulate Software and its partners