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

Formal Language: 



KB Term:  Term intersection
English Word: 

  Hafnium

 Sigma KEE - Hafnium
Hafnium

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


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 28504-28504 atomicNumber Hafnium and 72
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 29324-29324 boilingPoint Hafnium and 5673.0 KelvinDegree(s)
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 28512-28515
No TPTP formula. May not be expressible in strict first order. pictureList.kif 1797-1797
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 29323-29323 meltingPoint Hafnium and 2423.0 KelvinDegree(s)
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 28502-28502 "Hafnium" se chama nome Hafnium
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 31522-31522 roomTempState Hafnium and Solid
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 28501-28501 Hafnium 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 28503-28503 conventionalShortName "Hf" and Hafnium
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 27180-27180
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 27179-27179
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 27178-27178

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


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


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