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

Formal Language: 



KB Term:  Term intersection
English Word: 

  Sodium

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 27442-27442 11 is an atomic number of sodium
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 29202-29202 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 27450-27453
No TPTP formula. May not be expressible in strict first order. pictureList.kif 1991-1991
No TPTP formula. May not be expressible in strict first order. pictureList.kif 2365-2365
No TPTP formula. May not be expressible in strict first order. pictureList.kif 1255-1255
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 29201-29201 370.95 Kelvin degree(s) is a melting point of sodium
No TPTP formula. May not be expressible in strict first order. Medicine.kif 5869-5869 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 5876-5876 The number of molecules of sodium in a molecule of SodiumLactate is 1
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 27440-27440 "Sodium" has name sodium
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 31461-31461 roomTempState sodium and solid
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 27439-27439 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 27441-27441 Sodium is a conventional short name of "Na"
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 53672-53672
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 53671-53671
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 53670-53670

antecedent
-------------------------


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 27444-27448

consequent
-------------------------


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 8754-8763


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