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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - Mercury
Mercury(mercury)
Hg, atomic_number_80, hydrargyrum, mercury, quicksilver

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


(atomicNumber Mercury 80) Mid-level-ontology.kif 28937-28937 80 is an atomic number of mercury
(boilingPoint Mercury
    (MeasureFn 629.73 KelvinDegree))
Mid-level-ontology.kif 29624-29624 629.73 Kelvin degree(s) is a boiling point of mercury
(documentation Mercury EnglishLanguage "Heavy silvery liquid metallic element, belongs to the zinc group. Used in thermometers, barometers and other scientific apparatus. Less reactive than zinc and cadmium, does not displace hydrogen from acids. Forms a number of complexes and organomercury compounds.") Mid-level-ontology.kif 28945-28949 629.73 Kelvin degree(s) is a boiling point of mercury
(externalImage Mercury "http://upload.wikimedia.org/wikipedia/commons/1/ 1c/ Hg-TableImage.png") pictureList.kif 1846-1846 629.73 Kelvin degree(s) is a boiling point of mercury
(externalImage Mercury "http://upload.wikimedia.org/wikipedia/commons/6/ 63/ Hg_Mercury.jpg") pictureList.kif 2256-2256 629.73 Kelvin degree(s) is a boiling point of mercury
(externalImage Mercury "http://upload.wikimedia.org/wikipedia/commons/thumb/ 6/ 63/ Hg_Mercury.jpg/ 125px-Hg_Mercury.jpg") pictureList.kif 1177-1177 629.73 Kelvin degree(s) is a boiling point of mercury
(meltingPoint Mercury
    (MeasureFn 234.28 KelvinDegree))
Mid-level-ontology.kif 29623-29623 234.28 Kelvin degree(s) is a melting point of mercury
(names Mercury "Mercury") Mid-level-ontology.kif 28935-28935 "Mercury" has name mercury
(roomTempState Mercury Liquid) Mid-level-ontology.kif 31795-31795 roomTempState mercury and liquid
(subclass Mercury ElementalSubstance) Mid-level-ontology.kif 28934-28934 Mercury is a subclass of elemental substance

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


(conventionalShortName "Hg" Mercury) Mid-level-ontology.kif 28936-28936 Mercury is a conventional short name of "Hg"
(termFormat ChineseLanguage Mercury "汞") domainEnglishFormat.kif 37209-37209 Mercury is a conventional short name of "Hg"
(termFormat ChineseTraditionalLanguage Mercury "汞") domainEnglishFormat.kif 37208-37208 Mercury is a conventional short name of "Hg"
(termFormat EnglishLanguage Mercury "mercury") domainEnglishFormat.kif 37207-37207 Mercury is a conventional short name of "Hg"

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


(=>
    (and
        (instance ?ATOM Mercury)
        (instance ?ATOM Atom))
    (measure ?ATOM
        (MeasureFn 200.59 Amu)))
Mid-level-ontology.kif 28939-28943


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