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 25909-25909 atomicNumber Chromium and 24
(boilingPoint Chromium
    (MeasureFn 2755 KelvinDegree))
Mid-level-ontology.kif 27386-27386 boilingPoint Chromium and MeasureFn 2755 and KelvinDegree
(documentation Chromium EnglishLanguage "Hard silvery transition element. Used in decorative electroplating. Discovered in 1797 by Vauquelin.") Mid-level-ontology.kif 25916-25917
(externalImage Chromium "http://upload.wikimedia.org/wikipedia/commons/d/ d1/ Cr-TableImage.png") pictureList.kif 1700-1700
(externalImage Chromium "http://upload.wikimedia.org/wikipedia/commons/e/ e3/ Cr%2C24.jpg") pictureList.kif 2139-2139
(externalImage Chromium "http://www.adampease.org/Articulate/SUMOpictures/ pictures/ rocks_minerals/ C/ Ch/ Chromium.png") pictureList.kif 344-344
(meltingPoint Chromium
    (MeasureFn 2130 KelvinDegree))
Mid-level-ontology.kif 27385-27385 meltingPoint Chromium and MeasureFn 2130 and KelvinDegree
(names Chromium "Chromium") Mid-level-ontology.kif 25907-25907 names Chromium and "Chromium"
(subclass Chromium ElementalSubstance) Mid-level-ontology.kif 25906-25906 subclass Chromium and ElementalSubstance

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


(conventionalShortName "Cr" Chromium) Mid-level-ontology.kif 25908-25908 conventionalShortName "Cr" and Chromium
(termFormat ChineseLanguage Chromium "铬") domainEnglishFormat.kif 14695-14695
(termFormat ChineseTraditionalLanguage Chromium "鉻") domainEnglishFormat.kif 14694-14694
(termFormat EnglishLanguage Chromium "chromium") domainEnglishFormat.kif 14693-14693

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


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


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 2.99c (>= 2017/11/20) is open source software produced by Articulate Software and its partners