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 28653-28653 80 is an atomic number of mercury
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 29340-29340 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 28661-28665
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 29339-29339 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 28651-28651 "Mercury" has name mercury
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 31530-31530 roomTempState mercury and liquid
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 28650-28650 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 28652-28652 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 28655-28659


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