Browsing Interface : Welcome guest : log in 		[  Home |  Graph |  LogLearn |  Editor |  ]  KB:  Language: 
  Formal Language: 


KB Term:  Term intersection
English Word: 

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 full definition with tree view
Show simplified definition (without tree view)
Show simplified definition (with tree view)


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