Aluminum - Sigma Knowledge base Browser

Browsing Interface : Welcome guest : log in

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

KB Term:			Term intersection

English Word:

Sigma KEE - Aluminum

Aluminum(aluminum)

Al, aluminium, aluminum, atomic_number_13

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 29395-29395	13 is an atomic number of aluminum
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 31125-31125	2740.0 Kelvin degree(s) is a boiling point of aluminum
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 29403-29408	2740.0 Kelvin degree(s) is a boiling point of aluminum
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 2098-2098	2740.0 Kelvin degree(s) is a boiling point of aluminum
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 1025-1025	2740.0 Kelvin degree(s) is a boiling point of aluminum
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 31124-31124	933.52 Kelvin degree(s) is a melting point of aluminum
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 29393-29393	"Aluminum" has &ames$"name" Aluminum
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 33408-33408	room temperature state aluminum and solid
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 29392-29392	Aluminum 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 29394-29394	Aluminum is a conventional short name of "Al"
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 7039-7039	Aluminum is a conventional short name of "Al"
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 7038-7038	Aluminum is a conventional short name of "Al"
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 7037-7037	Aluminum is a conventional short name of "Al"

antecedent

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

Mid-level-ontology.kif 29397-29401

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

consequent

No TPTP formula. May not be expressible in strict first order.	Media.kif 1143-1147	If a corpuscular object is an instance of optical disc, then the corpuscular object is made of gold or the corpuscular object is made of aluminum
No TPTP formula. May not be expressible in strict first order.	Cars.kif 4783-4785	If a corpuscular object is an instance of Rover v8, then the corpuscular object is made of aluminum

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