|
|
   Sodium
|
|
|
| appearance as argument number 1 |
|
|
| (atomicNumber Sodium 11) | Mid-level-ontology.kif 27430-27430 | atomicNumber Sodium and 11 |
| (boilingPoint Sodium (MeasureFn 1165.0 KelvinDegree)) |
Mid-level-ontology.kif 29190-29190 | boilingPoint Sodium and 1165.0 KelvinDegree(s) |
| (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 27438-27441 | |
| (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 29189-29189 | meltingPoint Sodium and 370.95 KelvinDegree(s) |
| (molecularRatio Sodium 1 SodiumChloride) | Medicine.kif 5869-5869 | molecularRatio Sodium, 1 and SodiumChloride |
| (molecularRatio Sodium 1 SodiumLactate) | Medicine.kif 5876-5876 | molecularRatio Sodium, 1 and SodiumLactate |
| (names Sodium "Sodium") | Mid-level-ontology.kif 27428-27428 | "Sodium" s'appele nom Sodium |
| (roomTempState Sodium Solid) | Mid-level-ontology.kif 31457-31457 | roomTempState Sodium and Solid |
| (subclass Sodium ElementalSubstance) | Mid-level-ontology.kif 27427-27427 | Sodium est une sous-classe de substance �l�mentaire |
| appearance as argument number 2 |
|
|
| (conventionalShortName "Na" Sodium) | Mid-level-ontology.kif 27429-27429 | conventionalShortName "Na" and Sodium |
| (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 27432-27436 |
| 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 8753-8762 |
|
|
|
