Sodium - Sigma Knowledge base Browser

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 29361-29361	11 is an atomic number of sodium
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 31121-31121	1165.0 Kelvin degree(s) is a boiling point of sodium
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 29369-29372	1165.0 Kelvin degree(s) is a boiling point of sodium
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 1990-1990	1165.0 Kelvin degree(s) is a boiling point of sodium
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 2364-2364	1165.0 Kelvin degree(s) is a boiling point of sodium
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 1255-1255	1165.0 Kelvin degree(s) is a boiling point of sodium
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 31120-31120	370.95 Kelvin degree(s) is a melting point of sodium
No TPTP formula. May not be expressible in strict first order.	Medicine.kif 5884-5884	The number of molecules of sodium in a molecule of salt is 1
No TPTP formula. May not be expressible in strict first order.	Medicine.kif 5893-5893	The number of molecules of sodium in a molecule of sodium lactate is 1
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 29359-29359	"Sodium" has &ames$"name" Sodium
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 33406-33406	room temperature state sodium and solid
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 29358-29358	Sodium 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 29360-29360	Sodium is a conventional short name of "Na"
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 53676-53676	Sodium is a conventional short name of "Na"
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 53675-53675	Sodium is a conventional short name of "Na"
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 53674-53674	Sodium is a conventional short name of "Na"

antecedent

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

Mid-level-ontology.kif 29363-29367

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

consequent

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

Mid-level-ontology.kif 9960-9969

If an entity is an instance of salt,
then there exist a process, an object and another object such that the process is an instance of chemical synthesis and the object is a resource for the process and the object is an instance of sodium and the other object is a resource for the process and the other object is an instance of chlorine and the entity is a result of the process

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

KB Term:			Term intersection

English Word: