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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - Hafnium
Hafnium(hafnium)
Hf, atomic_number_72, hafnium

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


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 30182-30182 72 is an atomic number of hafnium
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 31002-31002 5673.0 Kelvin degree(s) is a boiling point of hafnium
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 30190-30193 5673.0 Kelvin degree(s) is a boiling point of hafnium
No TPTP formula. May not be expressible in strict first order. pictureList.kif 1796-1796 5673.0 Kelvin degree(s) is a boiling point of hafnium
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 31001-31001 2423.0 Kelvin degree(s) is a melting point of hafnium
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 30180-30180 "Hafnium" has name hafnium
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 33226-33226 room temperature state hafnium and solid
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 30179-30179 Hafnium 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 30181-30181 Hafnium is a conventional short name of "Hf"
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 27208-27208 Hafnium is a conventional short name of "Hf"
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 27207-27207 Hafnium is a conventional short name of "Hf"
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 27206-27206 Hafnium is a conventional short name of "Hf"

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


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


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