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


No TPTP formula. May not be expressible in strict first order. chinese_format.kif 1609-1610
No TPTP formula. May not be expressible in strict first order. Merge.kif 1135-1136
No TPTP formula. May not be expressible in strict first order. japanese_format.kif 187-188
No TPTP formula. May not be expressible in strict first order. spanish_format.kif 223-224
No TPTP formula. May not be expressible in strict first order. pictureList.kif 2382-2382
No TPTP formula. May not be expressible in strict first order. pictureList.kif 2008-2008
No TPTP formula. May not be expressible in strict first order. pictureList.kif 2381-2381
No TPTP formula. May not be expressible in strict first order. pictureList.kif 1258-1258
No TPTP formula. May not be expressible in strict first order. Merge.kif 1133-1133 Subatomic particle is a subclass of elemental substance

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


No TPTP formula. May not be expressible in strict first order. Merge.kif 1145-1145 Atomic nucleus is a subclass of subatomic particle
No TPTP formula. May not be expressible in strict first order. Merge.kif 1158-1158 Electron is a subclass of subatomic particle
No TPTP formula. May not be expressible in strict first order. Merge.kif 1168-1168 Neutron is a subclass of subatomic particle
No TPTP formula. May not be expressible in strict first order. Merge.kif 1163-1163 Proton is a subclass of subatomic particle
No TPTP formula. May not be expressible in strict first order. chinese_format.kif 822-822
No TPTP formula. May not be expressible in strict first order. english_format.kif 846-846
No TPTP formula. May not be expressible in strict first order. french_format.kif 498-498
No TPTP formula. May not be expressible in strict first order. terms-hindi.txt 31-31
No TPTP formula. May not be expressible in strict first order. terms-it.txt 34-34
No TPTP formula. May not be expressible in strict first order. japanese_format.kif 2183-2183
No TPTP formula. May not be expressible in strict first order. portuguese_format.kif 450-450
No TPTP formula. May not be expressible in strict first order. terms-cz.txt 65-65
No TPTP formula. May not be expressible in strict first order. relations-ro.kif 519-519
No TPTP formula. May not be expressible in strict first order. terms-tg.txt 35-35

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


No TPTP formula. May not be expressible in strict first order. Merge.kif 1138-1143


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 is open source software produced by Articulate Software and its partners