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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - Mercury
Mercury

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


(atomicNumber Mercury 80) Mid-level-ontology.kif 30331-30331
(boilingPoint Mercury
    (MeasureFn 629.73 KelvinDegree))
Mid-level-ontology.kif 31018-31018
(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 30339-30343
(externalImage Mercury "http://upload.wikimedia.org/wikipedia/commons/1/ 1c/ Hg_TableImage.png") pictureList.kif 1845-1845
(externalImage Mercury "http://upload.wikimedia.org/wikipedia/commons/6/ 63/ Hg_Mercury.jpg") pictureList.kif 2255-2255
(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 31017-31017
(names Mercury "Mercury") Mid-level-ontology.kif 30329-30329
(roomTempState Mercury Liquid) Mid-level-ontology.kif 33234-33234
(subclass Mercury ElementalSubstance) Mid-level-ontology.kif 30328-30328

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


(conventionalShortName "Hg" Mercury) Mid-level-ontology.kif 30330-30330
(termFormat ChineseLanguage Mercury "汞") domainEnglishFormat.kif 37201-37201
(termFormat ChineseTraditionalLanguage Mercury "汞") domainEnglishFormat.kif 37200-37200
(termFormat EnglishLanguage Mercury "mercury") domainEnglishFormat.kif 37199-37199

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


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


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