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 27948-27948
(boilingPoint Chromium
    (MeasureFn 2755.0 KelvinDegree))
Mid-level-ontology.kif 29512-29512
(documentation Chromium EnglishLanguage "Hard silvery transition element. Used in decorative electroplating. Discovered in 1797 by Vauquelin.") Mid-level-ontology.kif 27956-27957
(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 29511-29511
(names Chromium "Chromium") Mid-level-ontology.kif 27946-27946
(roomTempState Chromium Solid) Mid-level-ontology.kif 31739-31739
(subclass Chromium ElementalSubstance) Mid-level-ontology.kif 27945-27945

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


(conventionalShortName "Cr" Chromium) Mid-level-ontology.kif 27947-27947
(termFormat ChineseLanguage Chromium "铬") domainEnglishFormat.kif 14771-14771
(termFormat ChineseTraditionalLanguage Chromium "鉻") domainEnglishFormat.kif 14770-14770
(termFormat EnglishLanguage Chromium "chromium") domainEnglishFormat.kif 14769-14769

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


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


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