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 27715-27715 atomicNumber Chromium and 24
(boilingPoint Chromium
    (MeasureFn 2755.0 KelvinDegree))
Mid-level-ontology.kif 29279-29279 boilingPoint Chromium and 2755.0 KelvinDegree(s
(documentation Chromium EnglishLanguage "Hard silvery transition element. Used in decorative electroplating. Discovered in 1797 by Vauquelin.") Mid-level-ontology.kif 27723-27724
(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 1699-1699
(externalImage Chromium "http://upload.wikimedia.org/wikipedia/commons/e/ e3/ Cr%2C24.jpg") pictureList.kif 2138-2138
(meltingPoint Chromium
    (MeasureFn 2130.0 KelvinDegree))
Mid-level-ontology.kif 29278-29278 meltingPoint Chromium and 2130.0 KelvinDegree(s
(names Chromium "Chromium") Mid-level-ontology.kif 27713-27713 names Chromium and "Chromium"
(roomTempState Chromium Solid) Mid-level-ontology.kif 31506-31506 roomTempState Chromium and Solid
(subclass Chromium ElementalSubstance) Mid-level-ontology.kif 27712-27712 Chromium è una sottoclasse di SostanzaElementare

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


(conventionalShortName "Cr" Chromium) Mid-level-ontology.kif 27714-27714 conventionalShortName "Cr" and Chromium
(termFormat ChineseLanguage Chromium "铬") domainEnglishFormat.kif 14760-14760
(termFormat ChineseTraditionalLanguage Chromium "鉻") domainEnglishFormat.kif 14759-14759
(termFormat EnglishLanguage Chromium "chromium") domainEnglishFormat.kif 14758-14758

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


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


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