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
-------------------------


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 28641-28641 atomicNumber Mercury and 80
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 29328-29328 boilingPoint Mercury and 629.73 KelvinDegree(s)
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 meltingPoint Mercury and 234.28 KelvinDegree(s)
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 28639-28639 "Mercury" se chama nome 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 e' uma sub-classe de Substancia Elementar

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


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 28640-28640 conventionalShortName "Hg" and Mercury
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 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