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 |
|