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

Formal Language: 



KB Term:  Term intersection
English Word: 

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

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


(atomicNumber Selenium 34) Mid-level-ontology.kif 28938-28938 34 is an atomic number of selenium
(boilingPoint Selenium
    (MeasureFn 958.1 KelvinDegree))
Mid-level-ontology.kif 30363-30363 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 28946-28948 958.1 Kelvin degree(s) is a boiling point of selenium
(externalImage Selenium "http://upload.wikimedia.org/wikipedia/commons/2/ 2e/ Se%2C34.jpg") pictureList.kif 2352-2352 958.1 Kelvin degree(s) is a boiling point of selenium
(externalImage Selenium "http://upload.wikimedia.org/wikipedia/commons/e/ e3/ Se_TableImage.png") pictureList.kif 1975-1975 958.1 Kelvin degree(s) is a boiling point of selenium
(externalImage Selenium "http://upload.wikimedia.org/wikipedia/commons/thumb/ 2/ 2e/ Se%2C34.jpg/ 125px_Se%2C34.jpg") pictureList.kif 1248-1248 958.1 Kelvin degree(s) is a boiling point of selenium
(meltingPoint Selenium
    (MeasureFn 490.0 KelvinDegree))
Mid-level-ontology.kif 30362-30362 490.0 Kelvin degree(s) is a melting point of selenium
(names Selenium "Selenium") Mid-level-ontology.kif 28936-28936 "Selenium" has name selenium
(roomTempState Selenium Solid) Mid-level-ontology.kif 32607-32607 roomTempState selenium and solid
(subclass Selenium ElementalSubstance) Mid-level-ontology.kif 28935-28935 Selenium is a subclass of elemental substance

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


(conventionalShortName "Se" Selenium) Mid-level-ontology.kif 28937-28937 Selenium is a conventional short name of "Se"
(termFormat ChineseLanguage Selenium "硒") domainEnglishFormat.kif 52020-52020 Selenium is a conventional short name of "Se"
(termFormat ChineseTraditionalLanguage Selenium "硒") domainEnglishFormat.kif 52019-52019 Selenium is a conventional short name of "Se"
(termFormat EnglishLanguage Selenium "selenium") domainEnglishFormat.kif 52018-52018 Selenium is a conventional short name of "Se"

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


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


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