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
-------------------------


(atomicNumber Sodium 11) Mid-level-ontology.kif 27442-27442 11 is an atomic number of sodium
(boilingPoint Sodium
    (MeasureFn 1165.0 KelvinDegree))
Mid-level-ontology.kif 29202-29202 1165.0 Kelvin degree(s) is a boiling point of sodium
(documentation Sodium EnglishLanguage "Soft silvery reactive element belonging to group 1 of the periodic table (alkali metals). It is highly reactive, oxidizing in air and reacting violently with water, forcing it to be kept under oil. It was first isolated by Humphrey Davy in 1807.") Mid-level-ontology.kif 27450-27453
(externalImage Sodium "http://upload.wikimedia.org/wikipedia/commons/0/05/ Na-TableImage.png") pictureList.kif 1991-1991
(externalImage Sodium "http://upload.wikimedia.org/wikipedia/en/2/26/BigNa.jpg") pictureList.kif 2365-2365
(externalImage Sodium "http://upload.wikimedia.org/wikipedia/en/thumb/2/ 26/ BigNa.jpg/ 125px-BigNa.jpg") pictureList.kif 1255-1255
(meltingPoint Sodium
    (MeasureFn 370.95 KelvinDegree))
Mid-level-ontology.kif 29201-29201 370.95 Kelvin degree(s) is a melting point of sodium
(molecularRatio Sodium 1 SodiumChloride) Medicine.kif 5869-5869 The number of molecules of sodium in a molecule of salt is 1
(molecularRatio Sodium 1 SodiumLactate) Medicine.kif 5876-5876 The number of molecules of sodium in a molecule of SodiumLactate is 1
(names Sodium "Sodium") Mid-level-ontology.kif 27440-27440 "Sodium" has name sodium
(roomTempState Sodium Solid) Mid-level-ontology.kif 31461-31461 roomTempState sodium and solid
(subclass Sodium ElementalSubstance) Mid-level-ontology.kif 27439-27439 Sodium is a subclass of elemental substance

appearance as argument number 2
-------------------------


(conventionalShortName "Na" Sodium) Mid-level-ontology.kif 27441-27441 Sodium is a conventional short name of "Na"
(termFormat ChineseLanguage Sodium "钠") domainEnglishFormat.kif 53672-53672
(termFormat ChineseTraditionalLanguage Sodium "鈉") domainEnglishFormat.kif 53671-53671
(termFormat EnglishLanguage Sodium "sodium") domainEnglishFormat.kif 53670-53670

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


(=>
    (and
        (instance ?ATOM Sodium)
        (instance ?ATOM Atom))
    (measure ?ATOM
        (MeasureFn 22.9898 Amu)))
Mid-level-ontology.kif 27444-27448

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


(=>
    (instance ?SALT SodiumChloride)
    (exists (?SYNTHESIS ?SODIUM ?CHLORINE)
        (and
            (instance ?SYNTHESIS ChemicalSynthesis)
            (resource ?SYNTHESIS ?SODIUM)
            (instance ?SODIUM Sodium)
            (resource ?SYNTHESIS ?CHLORINE)
            (instance ?CHLORINE Chlorine)
            (result ?SYNTHESIS ?SALT))))
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