TreeView Knowledge Base Browser

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 2382-2382
(externalImage SubatomicParticle "http://upload.wikimedia.org/wikipedia/ commons/ a/ a9/ Atom.svg")	pictureList.kif 2008-2008
(externalImage SubatomicParticle "http://upload.wikimedia.org/wikipedia/ commons/ c/ cf/ HAtomOrbitals.png")	pictureList.kif 2381-2381
(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	Subatomic particle is a subclass of elemental substance

appearance as argument number 2

(subclass AtomicNucleus SubatomicParticle)	Merge.kif 1145-1145	Atomic nucleus is a subclass of subatomic particle
(subclass Electron SubatomicParticle)	Merge.kif 1158-1158	Electron is a subclass of subatomic particle
(subclass Neutron SubatomicParticle)	Merge.kif 1168-1168	Neutron is a subclass of subatomic particle
(subclass Proton SubatomicParticle)	Merge.kif 1163-1163	Proton is a subclass of subatomic particle
(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