| SubatomicParticle
| |
| 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 1135-1136 | |
| (documentation SubatomicParticle JapaneseLanguage "ElementalSubstances のクラスは Atoms より小さく、Atoms を構成する。") | japanese_format.kif 187-188 | |
| (documentation SubatomicParticle SpanishLanguage "La clase de ElementalSubstances que son más pequeños y componer los Atoms.") | spanish_format.kif 223-224 | |
| (externalImage SubatomicParticle "http://upload.wikimedia.org/wikipedia/ commons/ 9/ 92/ Quark_structure_proton.svg") | pictureList.kif 2381-2381 | |
| (externalImage SubatomicParticle "http://upload.wikimedia.org/wikipedia/ commons/ a/ a9/ Atom.svg") | pictureList.kif 2007-2007 | |
| (externalImage SubatomicParticle "http://upload.wikimedia.org/wikipedia/ commons/ c/ cf/ HAtomOrbitals.png") | pictureList.kif 2380-2380 | |
| (externalImage SubatomicParticle "http://upload.wikimedia.org/wikipedia/ commons/ thumb/ a/ a9/ Atom.svg/ 180px-Atom.svg.png") | pictureList.kif 1258-1258 | |
| (subclass SubatomicParticle ElementalSubstance) | Merge.kif 1133-1133 |
| appearance as argument number 2 |
|
|
| (subclass AtomicNucleus SubatomicParticle) | Merge.kif 1145-1145 | |
| (subclass Electron SubatomicParticle) | Merge.kif 1158-1158 | |
| (subclass Neutron SubatomicParticle) | Merge.kif 1168-1168 | |
| (subclass Proton SubatomicParticle) | Merge.kif 1163-1163 | |
| (termFormat ChineseLanguage SubatomicParticle "次原子粒子") | chinese_format.kif 822-822 | |
| (termFormat EnglishLanguage SubatomicParticle "subatomic particle") | english_format.kif 846-846 | |
| (termFormat FrenchLanguage SubatomicParticle "Particule subatomique ") | french_format.kif 498-498 | |
| (termFormat Hindi SubatomicParticle "upa-aaNavika kaNa") | terms-hindi.txt 31-31 | |
| (termFormat ItalianLanguage SubatomicParticle "ParticellaSubatomica") | terms-it.txt 34-34 | |
| (termFormat JapaneseLanguage SubatomicParticle "素粒子") | japanese_format.kif 2183-2183 | |
| (termFormat PortugueseLanguage SubatomicParticle "Particula Sub-atomica ") | portuguese_format.kif 450-450 | |
| (termFormat cz SubatomicParticle "subatomick� ��stice") | terms-cz.txt 65-65 | |
| (termFormat ro SubatomicParticle "particulã subatomicã") | relations-ro.kif 519-519 | |
| (termFormat tg SubatomicParticle "bahagi ng atom") | terms-tg.txt 35-35 |
| antecedent |
|
|
| (=> (instance ?PARTICLE SubatomicParticle) (exists (?ATOM) (and (instance ?ATOM Atom) (component ?PARTICLE ?ATOM)))) |
Merge.kif 1138-1143 |
|
|
|