| Sodium
| |
| appearance as argument number 1 |
|
|
| (atomicNumber Sodium 11) | Mid-level-ontology.kif 29120-29120 | |
| (boilingPoint Sodium (MeasureFn 1165.0 KelvinDegree)) |
Mid-level-ontology.kif 30880-30880 | |
| (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 29128-29131 | |
| (externalImage Sodium "http://upload.wikimedia.org/wikipedia/commons/0/05/ Na_TableImage.png") | pictureList.kif 1990-1990 | |
| (externalImage Sodium "http://upload.wikimedia.org/wikipedia/en/2/26/BigNa.jpg") | pictureList.kif 2364-2364 | |
| (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 30879-30879 | |
| (molecularRatio Sodium 1 SodiumChloride) | Medicine.kif 5884-5884 | |
| (molecularRatio Sodium 1 SodiumLactate) | Medicine.kif 5893-5893 | |
| (names Sodium "Sodium") | Mid-level-ontology.kif 29118-29118 | |
| (roomTempState Sodium Solid) | Mid-level-ontology.kif 33165-33165 | |
| (subclass Sodium ElementalSubstance) | Mid-level-ontology.kif 29117-29117 |
| appearance as argument number 2 |
|
|
| (conventionalShortName "Na" Sodium) | Mid-level-ontology.kif 29119-29119 | |
| (termFormat ChineseLanguage Sodium "钠") | domainEnglishFormat.kif 53705-53705 | |
| (termFormat ChineseTraditionalLanguage Sodium "鈉") | domainEnglishFormat.kif 53704-53704 | |
| (termFormat EnglishLanguage Sodium "sodium") | domainEnglishFormat.kif 53703-53703 |
| antecedent |
|
|
| (=> (and (instance ?ATOM Sodium) (instance ?ATOM Atom)) (measure ?ATOM (MeasureFn 22.9898 Amu))) |
Mid-level-ontology.kif 29122-29126 |
| 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 9978-9987 |
|
|
|