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 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 | SubatomicParticle ist eine teilkategorie von ElementalSubstance |
appearance as argument number 2 |
antecedent |
(=> (instance ?PARTICLE SubatomicParticle) (exists (?ATOM) (and (instance ?ATOM Atom) (component ?PARTICLE ?ATOM)))) |
Merge.kif 1138-1143 |
|