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

Formal Language: 



KB Term:  Term intersection
English Word: 

  Mercury

Sigma KEE - Mercury
Mercury

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


(atomicNumber Mercury 80) Mid-level-ontology.kif 28704-28704 atomicNumber Mercury and 80
(boilingPoint Mercury
    (MeasureFn 629.73 KelvinDegree))
Mid-level-ontology.kif 29391-29391 boilingPoint Mercury and 629.73 の KelvinDegree(s)
(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 28712-28716
(externalImage Mercury "http://upload.wikimedia.org/wikipedia/commons/1/ 1c/ Hg-TableImage.png") pictureList.kif 1846-1846
(externalImage Mercury "http://upload.wikimedia.org/wikipedia/commons/6/ 63/ Hg_Mercury.jpg") pictureList.kif 2256-2256
(externalImage Mercury "http://upload.wikimedia.org/wikipedia/commons/thumb/ 6/ 63/ Hg_Mercury.jpg/ 125px-Hg_Mercury.jpg") pictureList.kif 1177-1177
(meltingPoint Mercury
    (MeasureFn 234.28 KelvinDegree))
Mid-level-ontology.kif 29390-29390 meltingPoint Mercury and 234.28 の KelvinDegree(s)
(names Mercury "Mercury") Mid-level-ontology.kif 28702-28702 "Mercury" は Mercuryname を 持って %n{ない}
(roomTempState Mercury Liquid) Mid-level-ontology.kif 31562-31562 roomTempState Mercury and Liquid
(subclass Mercury ElementalSubstance) Mid-level-ontology.kif 28701-28701 Mercury単体subclass では %n

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


(conventionalShortName "Hg" Mercury) Mid-level-ontology.kif 28703-28703 conventionalShortName "Hg" and Mercury
(termFormat ChineseLanguage Mercury "汞") domainEnglishFormat.kif 37175-37175
(termFormat ChineseTraditionalLanguage Mercury "汞") domainEnglishFormat.kif 37174-37174
(termFormat EnglishLanguage Mercury "mercury") domainEnglishFormat.kif 37173-37173

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


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


Show simplified definition (without tree view)
Show simplified definition (with tree view)

Show without tree


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