Browsing Interface : Welcome guest : log in 		[  Home |  Graph |  LogLearn |  Editor |  ]  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
-------------------------


(subclass SubatomicParticle ElementalSubstance) Merge.kif 1206-1206 Subatomic particle is a subclass of elemental substance
(documentation SubatomicParticle EnglishLanguage "The class of ElementalSubstances that are smaller than Atoms and compose Atoms.") Merge.kif 1208-1209 Subatomic particle is a subclass of elemental substance
(externalImage SubatomicParticle "http://upload.wikimedia.org/wikipedia/ commons/ thumb/ a/ a9/ Atom.svg/ 180px_Atom.svg.png") pictureList.kif 1258-1258 Subatomic particle is a subclass of elemental substance
(externalImage SubatomicParticle "http://upload.wikimedia.org/wikipedia/ commons/ a/ a9/ Atom.svg") pictureList.kif 2007-2007 Subatomic particle is a subclass of elemental substance
(externalImage SubatomicParticle "http://upload.wikimedia.org/wikipedia/ commons/ c/ cf/ HAtomOrbitals.png") pictureList.kif 2380-2380 Subatomic particle is a subclass of elemental substance
(externalImage SubatomicParticle "http://upload.wikimedia.org/wikipedia/ commons/ 9/ 92/ Quark_structure_proton.svg") pictureList.kif 2381-2381 Subatomic particle is a subclass of elemental substance

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


(subclass AtomicNucleus SubatomicParticle) Merge.kif 1218-1218 Atomic nucleus is a subclass of subatomic particle
(subclass Electron SubatomicParticle) Merge.kif 1231-1231 Electron is a subclass of subatomic particle
(subclass Proton SubatomicParticle) Merge.kif 1236-1236 Proton is a subclass of subatomic particle
(subclass Neutron SubatomicParticle) Merge.kif 1241-1241 Neutron is a subclass of subatomic particle
(termFormat EnglishLanguage SubatomicParticle "subatomic particle") english_format.kif 846-846 Neutron is a subclass of subatomic particle

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


(=>
    (instance ?PARTICLE SubatomicParticle)
    (exists (?ATOM)
        (and
            (instance ?ATOM Atom)
            (component ?PARTICLE ?ATOM))))		 Merge.kif 1211-1216 If X is an instance of subatomic particle, then there exists Y such that Y is an instance of atom and X is a component of Y


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.0-0a80e6c8 (2026-05-12) is open source software produced by Articulate Software and its partners