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

Formal Language: 



KB Term:  Term intersection
English Word: 

  Mercury

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

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


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 28641-28641 80 is an atomic number of mercury
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 29328-29328 629.73 Kelvin degree(s) is a boiling point of mercury
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 28649-28653
No TPTP formula. May not be expressible in strict first order. pictureList.kif 1846-1846
No TPTP formula. May not be expressible in strict first order. pictureList.kif 2256-2256
No TPTP formula. May not be expressible in strict first order. pictureList.kif 1177-1177
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 29327-29327 234.28 Kelvin degree(s) is a melting point of mercury
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 28639-28639 "Mercury" has name mercury
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 31526-31526 roomTempState mercury and liquid
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 28638-28638 Mercury is a subclass of elemental substance

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


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 28640-28640 Mercury is a conventional short name of "Hg"
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 37175-37175
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 37174-37174
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 37173-37173

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


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 28643-28647


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