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

Formal Language: 


KB Term:  Term intersection
English Word: 

Sigma KEE - Chromium
Chromium

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


(atomicNumber Chromium 24) Mid-level-ontology.kif 29583-29583
(boilingPoint Chromium
    (MeasureFn 2755.0 KelvinDegree))
Mid-level-ontology.kif 31147-31147
(documentation Chromium EnglishLanguage "Hard silvery transition element. Used in decorative electroplating. Discovered in 1797 by Vauquelin.") Mid-level-ontology.kif 29591-29592
(externalImage Chromium "http://articulatesoftware.com/SUMOpictures/rocks_minerals/ C/ Ch/ Chromium.png") pictureList.kif 344-344
(externalImage Chromium "http://upload.wikimedia.org/wikipedia/commons/d/ d1/ Cr_TableImage.png") pictureList.kif 1698-1698
(externalImage Chromium "http://upload.wikimedia.org/wikipedia/commons/e/ e3/ Cr%2C24.jpg") pictureList.kif 2137-2137
(meltingPoint Chromium
    (MeasureFn 2130.0 KelvinDegree))
Mid-level-ontology.kif 31146-31146
(names Chromium "Chromium") Mid-level-ontology.kif 29581-29581
(roomTempState Chromium Solid) Mid-level-ontology.kif 33419-33419
(subclass Chromium ElementalSubstance) Mid-level-ontology.kif 29580-29580

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


(conventionalShortName "Cr" Chromium) Mid-level-ontology.kif 29582-29582
(termFormat ChineseLanguage Chromium "铬") domainEnglishFormat.kif 14769-14769
(termFormat ChineseTraditionalLanguage Chromium "鉻") domainEnglishFormat.kif 14768-14768
(termFormat EnglishLanguage Chromium "chromium") domainEnglishFormat.kif 14767-14767

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


(=>
    (and
        (instance ?ATOM Chromium)
        (instance ?ATOM Atom))
    (measure ?ATOM
        (MeasureFn 51.996 Amu)))
Mid-level-ontology.kif 29585-29589


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