| Sodium(sodium)
| | Na, atomic_number_11, sodium |
| appearance as argument number 1 |
|
|
| (atomicNumber Sodium 11) | Mid-level-ontology.kif 27726-27726 | 11 is an atomic number of sodium |
| (boilingPoint Sodium (MeasureFn 1165.0 KelvinDegree)) |
Mid-level-ontology.kif 29486-29486 | 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 27734-27737 | 1165.0 Kelvin degree(s) is a boiling point of sodium |
| (externalImage Sodium "http://upload.wikimedia.org/wikipedia/commons/0/05/ Na-TableImage.png") | pictureList.kif 1991-1991 | 1165.0 Kelvin degree(s) is a boiling point of sodium |
| (externalImage Sodium "http://upload.wikimedia.org/wikipedia/en/2/26/BigNa.jpg") | pictureList.kif 2365-2365 | 1165.0 Kelvin degree(s) is a boiling point of sodium |
| (externalImage Sodium "http://upload.wikimedia.org/wikipedia/en/thumb/2/ 26/ BigNa.jpg/ 125px-BigNa.jpg") | pictureList.kif 1255-1255 | 1165.0 Kelvin degree(s) is a boiling point of sodium |
| (meltingPoint Sodium (MeasureFn 370.95 KelvinDegree)) |
Mid-level-ontology.kif 29485-29485 | 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 27724-27724 | "Sodium" has name sodium |
| (roomTempState Sodium Solid) | Mid-level-ontology.kif 31726-31726 | roomTempState sodium and solid |
| (subclass Sodium ElementalSubstance) | Mid-level-ontology.kif 27723-27723 | Sodium is a subclass of elemental substance |
| appearance as argument number 2 |
|
|
| (conventionalShortName "Na" Sodium) | Mid-level-ontology.kif 27725-27725 | Sodium is a conventional short name of "Na" |
| (termFormat ChineseLanguage Sodium "钠") | domainEnglishFormat.kif 53712-53712 | Sodium is a conventional short name of "Na" |
| (termFormat ChineseTraditionalLanguage Sodium "鈉") | domainEnglishFormat.kif 53711-53711 | Sodium is a conventional short name of "Na" |
| (termFormat EnglishLanguage Sodium "sodium") | domainEnglishFormat.kif 53710-53710 | Sodium is a conventional short name of "Na" |
| antecedent |
|
|
| (=> (and (instance ?ATOM Sodium) (instance ?ATOM Atom)) (measure ?ATOM (MeasureFn 22.9898 Amu))) |
Mid-level-ontology.kif 27728-27732 |
|
| 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 8972-8981 |
|
|
|
|