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

Formal Language: 



KB Term:  Term intersection
English Word: 

  Selenium

Sigma KEE - Selenium
Selenium(硒)

appearance as argument number 1
-------------------------


(atomicNumber Selenium 34) Mid-level-ontology.kif 27874-27874 34 是 atomic 數字
(boilingPoint Selenium
    (MeasureFn 958.1 KelvinDegree))
Mid-level-ontology.kif 29299-29299 測量 958.1 and 凱文度boiling
(documentation Selenium EnglishLanguage "Metalloid element, belongs to group 16 of the periodic table. Multiple allotropic forms exist. Chemically resembles sulphur. Discovered in 1817 by Jons J. Berzelius.") Mid-level-ontology.kif 27882-27884
(externalImage Selenium "http://upload.wikimedia.org/wikipedia/commons/2/ 2e/ Se%2C34.jpg") pictureList.kif 2353-2353
(externalImage Selenium "http://upload.wikimedia.org/wikipedia/commons/e/ e3/ Se-TableImage.png") pictureList.kif 1976-1976
(externalImage Selenium "http://upload.wikimedia.org/wikipedia/commons/thumb/ 2/ 2e/ Se%2C34.jpg/ 125px-Se%2C34.jpg") pictureList.kif 1248-1248
(meltingPoint Selenium
    (MeasureFn 490.0 KelvinDegree))
Mid-level-ontology.kif 29298-29298 測量 490.0 and 凱文度melting
(names Selenium "Selenium") Mid-level-ontology.kif 27872-27872 and "Selenium"
(roomTempState Selenium Solid) Mid-level-ontology.kif 31516-31516 roomTempState and 固體
(subclass Selenium ElementalSubstance) Mid-level-ontology.kif 27871-27871 子類 and ElementalSubstance

appearance as argument number 2
-------------------------


(conventionalShortName "Se" Selenium) Mid-level-ontology.kif 27873-27873 是 "Se" 的 conventional 簡稱
(termFormat ChineseLanguage Selenium "硒") domainEnglishFormat.kif 51989-51989
(termFormat ChineseTraditionalLanguage Selenium "硒") domainEnglishFormat.kif 51988-51988
(termFormat EnglishLanguage Selenium "selenium") domainEnglishFormat.kif 51987-51987

antecedent
-------------------------


(=>
    (and
        (instance ?ATOM Selenium)
        (instance ?ATOM Atom))
    (measure ?ATOM
        (MeasureFn 78.96 Amu)))
Mid-level-ontology.kif 27876-27880


Show simplified definition (without tree view)
Show simplified definition (with tree view)

Show without tree


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