TreeView Knowledge Base Browser - Tellurium

Browsing Interface : Welcome guest : log in

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

KB Term:			Term intersection

English Word:

Sigma KEE - Tellurium

Tellurium(tellurium)

Te, atomic_number_52, tellurium

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 28127-28127	52 is an atomic number of tellurium
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 29284-29284	1263.0 Kelvin degree(s) is a boiling point of tellurium
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 28135-28138
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 2393-2393
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 2023-2023
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 1265-1265
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 29283-29283	722.7 Kelvin degree(s) is a melting point of tellurium
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 28125-28125	"Tellurium" has name tellurium
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 31502-31502	roomTempState tellurium and solid
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 28124-28124	Tellurium 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 28126-28126	Tellurium is a conventional short name of "Te"
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 57380-57380
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 57379-57379
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 57378-57378

antecedent

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

Mid-level-ontology.kif 28129-28133

If a physical is an instance of tellurium and the physical is an instance of atom,
then the measure of the physical is 127.60 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