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 29501-29501
(boilingPoint Selenium
    (MeasureFn 958.1 KelvinDegree))
Mid-level-ontology.kif 30926-30926
(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 29509-29511
(externalImage Selenium "http://upload.wikimedia.org/wikipedia/commons/2/ 2e/ Se%2C34.jpg") pictureList.kif 2352-2352
(externalImage Selenium "http://upload.wikimedia.org/wikipedia/commons/e/ e3/ Se_TableImage.png") pictureList.kif 1975-1975
(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 30925-30925
(names Selenium "Selenium") Mid-level-ontology.kif 29499-29499
(roomTempState Selenium Solid) Mid-level-ontology.kif 33188-33188
(subclass Selenium ElementalSubstance) Mid-level-ontology.kif 29498-29498

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


(conventionalShortName "Se" Selenium) Mid-level-ontology.kif 29500-29500
(termFormat ChineseLanguage Selenium "硒") domainEnglishFormat.kif 52020-52020
(termFormat ChineseTraditionalLanguage Selenium "硒") domainEnglishFormat.kif 52019-52019
(termFormat EnglishLanguage Selenium "selenium") domainEnglishFormat.kif 52018-52018

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


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


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