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 25752-25752	11 is an atomic number of sodium
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 27412-27412	1165 Kelvin degree(s) is a boiling point of sodium
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 25759-25762
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 1992-1992
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 2366-2366
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 1256-1256
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 27411-27411	370.95 Kelvin degree(s) is a melting point of sodium
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 25750-25750	"Sodium" has name sodium
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 25749-25749	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 25751-25751	Sodium is a conventional short name of "Na"
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 53569-53569
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 53568-53568
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 53567-53567

antecedent

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

Mid-level-ontology.kif 25753-25757

consequent

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

Mid-level-ontology.kif 8439-8448