Browsing Interface : Welcome guest : log in
Home |  Graph |  ]  KB:  Language:   

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - SubatomicParticle
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

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


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