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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - Selenium
Selenium

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


(atomicNumber Selenium 34) Mid-level-ontology.kif 27823-27823 atomicNumber Selenium and 34
(boilingPoint Selenium
    (MeasureFn 958.1 KelvinDegree))
Mid-level-ontology.kif 29248-29248 boilingPoint Selenium and 958.1 KelvinDegree(s)
(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 27831-27833
(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 29247-29247 meltingPoint Selenium and 490.0 KelvinDegree(s)
(names Selenium "Selenium") Mid-level-ontology.kif 27821-27821 "Selenium" s'appele nom Selenium
(roomTempState Selenium Solid) Mid-level-ontology.kif 31484-31484 roomTempState Selenium and Solid
(subclass Selenium ElementalSubstance) Mid-level-ontology.kif 27820-27820 Selenium est une sous-classe de substance �l�mentaire

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


(conventionalShortName "Se" Selenium) Mid-level-ontology.kif 27822-27822 conventionalShortName "Se" and Selenium
(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 27825-27829


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