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 28508-28508	73 is an atomic number of tantalum
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 29314-29314	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 28516-28520
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 29313-29313	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 28506-28506	"Tantalum" has name tantalum
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 31519-31519	roomTempState tantalum and solid
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 28505-28505	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 28507-28507	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 28510-28514

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