TreeView Knowledge Base Browser - Tantalum

Browsing Interface : Welcome guest : log in

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

KB Term:			Term intersection

English Word:

Sigma KEE - Tantalum

Tantalum(tantalum)

Ta, atomic_number_73, tantalum

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 28520-28520	73 is an atomic number of tantalum
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 29326-29326	5698.0 Kelvin degree(s) is a boiling point of tantalum
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 28528-28532
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 2390-2390
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 2014-2014
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 1261-1261
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 29325-29325	3269.0 Kelvin degree(s) is a melting point of tantalum
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 28518-28518	"Tantalum" has name tantalum
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 31523-31523	roomTempState tantalum and solid
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 28517-28517	Tantalum 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 28519-28519	Tantalum is a conventional short name of "Ta"
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 56917-56917
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 56916-56916
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 56915-56915

antecedent

No TPTP formula. May not be expressible in strict first order.

Mid-level-ontology.kif 28522-28526

If a physical is an instance of tantalum and the physical is an instance of atom,
then the measure of the physical is 180.948 amu(s)

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