TreeView Knowledge Base Browser - Hafnium

Browsing Interface : Welcome guest : log in

[ Home | Graph | ] KB: Language:
Formal Language:

KB Term:			Term intersection

English Word:

Sigma KEE - Hafnium

Hafnium(铪)

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 28492-28492	72 是铪的 atomic 数字
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 29312-29312	5673.0 凯文度是铪的 boiling 点
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 28500-28503
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 29311-29311	2423.0 凯文度是铪的 melting 点
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 28490-28490	"Hafnium" 的名是铪
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 31518-31518	roomTempState 铪 and 固体
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 28489-28489	铪是元素物质的 subclass

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 28491-28491	铪是 "Hf" 的 conventional 简称
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 28494-28498

如果物理是铪的 instance 和那个物理是原子的 instance，
然后那个物理的 measure 是 178.49 amu

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