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 29342-29342
(boilingPoint Chromium
    (MeasureFn 2755.0 KelvinDegree))
Mid-level-ontology.kif 30906-30906
(documentation Chromium EnglishLanguage "Hard silvery transition element. Used in decorative electroplating. Discovered in 1797 by Vauquelin.") Mid-level-ontology.kif 29350-29351
(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 30905-30905
(names Chromium "Chromium") Mid-level-ontology.kif 29340-29340
(roomTempState Chromium Solid) Mid-level-ontology.kif 33178-33178
(subclass Chromium ElementalSubstance) Mid-level-ontology.kif 29339-29339

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


(conventionalShortName "Cr" Chromium) Mid-level-ontology.kif 29341-29341
(termFormat ChineseLanguage Chromium "铬") domainEnglishFormat.kif 14775-14775
(termFormat ChineseTraditionalLanguage Chromium "鉻") domainEnglishFormat.kif 14774-14774
(termFormat EnglishLanguage Chromium "chromium") domainEnglishFormat.kif 14773-14773

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


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


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