Browsing Interface : Welcome guest : log in
Home |  Graph |  ]  KB:  Language:   

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - Sodium
Sodium(sodium)
Na, atomic_number_11, sodium

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


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 2.99c (>= 2017/11/20) is open source software produced by Articulate Software and its partners