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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - Sodium
Sodium(鈉)

appearance as argument number 1
-------------------------


(atomicNumber Sodium 11) Mid-level-ontology.kif 27493-27493 11 是 atomic 數字
(boilingPoint Sodium
    (MeasureFn 1165.0 KelvinDegree))
Mid-level-ontology.kif 29253-29253 測量 1165.0 and 凱文度boiling
(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 27501-27504
(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 29252-29252 測量 370.95 and 凱文度melting
(molecularRatio Sodium 1 SodiumChloride) Medicine.kif 5869-5869 molecularRatio , 1 and
(molecularRatio Sodium 1 SodiumLactate) Medicine.kif 5876-5876 molecularRatio , 1 and SodiumLactate
(names Sodium "Sodium") Mid-level-ontology.kif 27491-27491 and "Sodium"
(roomTempState Sodium Solid) Mid-level-ontology.kif 31493-31493 roomTempState and 固體
(subclass Sodium ElementalSubstance) Mid-level-ontology.kif 27490-27490 子類 and ElementalSubstance

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


(conventionalShortName "Na" Sodium) Mid-level-ontology.kif 27492-27492 是 "Na" 的 conventional 簡稱
(termFormat ChineseLanguage Sodium "钠") domainEnglishFormat.kif 53674-53674
(termFormat ChineseTraditionalLanguage Sodium "鈉") domainEnglishFormat.kif 53673-53673
(termFormat EnglishLanguage Sodium "sodium") domainEnglishFormat.kif 53672-53672

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


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

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


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