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 29768-29768 80 is an atomic number of mercury
(boilingPoint Mercury
    (MeasureFn 629.73 KelvinDegree))
Mid-level-ontology.kif 30455-30455 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 29776-29780 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 1845-1845 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 2255-2255 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 30454-30454 234.28 Kelvin degree(s) is a melting point of mercury
(names Mercury "Mercury") Mid-level-ontology.kif 29766-29766 "Mercury" has name mercury
(roomTempState Mercury Liquid) Mid-level-ontology.kif 32653-32653 roomTempState mercury and liquid
(subclass Mercury ElementalSubstance) Mid-level-ontology.kif 29765-29765 Mercury is a subclass of elemental substance

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


(conventionalShortName "Hg" Mercury) Mid-level-ontology.kif 29767-29767 Mercury is a conventional short name of "Hg"
(termFormat ChineseLanguage Mercury "汞") domainEnglishFormat.kif 37201-37201 Mercury is a conventional short name of "Hg"
(termFormat ChineseTraditionalLanguage Mercury "汞") domainEnglishFormat.kif 37200-37200 Mercury is a conventional short name of "Hg"
(termFormat EnglishLanguage Mercury "mercury") domainEnglishFormat.kif 37199-37199 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 29770-29774


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