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

Formal Language: 



KB Term:  Term intersection
English Word: 

  Selenium

Sigma KEE - Selenium
Selenium(selenium)
Se, atomic_number_34, selenium

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


(atomicNumber Selenium 34) Mid-level-ontology.kif 27811-27811 34 is an atomic number of selenium
(boilingPoint Selenium
    (MeasureFn 958.1 KelvinDegree))
Mid-level-ontology.kif 29236-29236 958.1 Kelvin degree(s) is a boiling point of selenium
(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 27819-27821
(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 29235-29235 490.0 Kelvin degree(s) is a melting point of selenium
(names Selenium "Selenium") Mid-level-ontology.kif 27809-27809 "Selenium" has name selenium
(roomTempState Selenium Solid) Mid-level-ontology.kif 31480-31480 roomTempState selenium and solid
(subclass Selenium ElementalSubstance) Mid-level-ontology.kif 27808-27808 Selenium is a subclass of elemental substance

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


(conventionalShortName "Se" Selenium) Mid-level-ontology.kif 27810-27810 Selenium is a conventional short name of "Se"
(termFormat ChineseLanguage Selenium "硒") domainEnglishFormat.kif 51987-51987
(termFormat ChineseTraditionalLanguage Selenium "硒") domainEnglishFormat.kif 51986-51986
(termFormat EnglishLanguage Selenium "selenium") domainEnglishFormat.kif 51985-51985

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


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


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