Browsing Interface : Welcome guest : log in
|
Browsing Interface : Welcome guest : log in |
[
Home |
Graph |
LogLearn |
Editor |
]
KB:
Language:
Formal Language:
|
Sodium(sodium)
|  | Na, atomic_number_11, sodium |
| appearance as argument number 1 |
|
|
| (subclass Sodium ElementalSubstance) | Mid-level-ontology.kif 30065-30065 | Sodium is a subclass of elemental substance |
| (atomicNumber Sodium 11) | Mid-level-ontology.kif 30068-30068 | 11 is an atomic number 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 30076-30079 | 11 is an atomic number of sodium |
| (meltingPoint Sodium (MeasureFn 370.95 KelvinDegree)) |
Mid-level-ontology.kif 31827-31827 | 370.95 Kelvin degree(s) is a melting point of sodium |
| (boilingPoint Sodium (MeasureFn 1165.0 KelvinDegree)) |
Mid-level-ontology.kif 31828-31828 | 1165.0 Kelvin degree(s) is a boiling point of sodium |
| (roomTempState Sodium Solid) | Mid-level-ontology.kif 33933-33933 | room temperature state sodium and solid |
| (molecularRatio Sodium 1 SodiumChloride) | Medicine.kif 5898-5898 | The number of molecules of sodium in a molecule of salt is 1 |
| (molecularRatio Sodium 1 SodiumLactate) | Medicine.kif 5907-5907 | The number of molecules of sodium in a molecule of sodium lactate is 1 |
| (externalImage Sodium "http://upload.wikimedia.org/wikipedia/en/thumb/2/ 26/ BigNa.jpg/ 125px_BigNa.jpg") | pictureList.kif 1255-1255 | The number of molecules of sodium in a molecule of sodium lactate is 1 |
| (externalImage Sodium "http://upload.wikimedia.org/wikipedia/commons/0/05/ Na_TableImage.png") | pictureList.kif 1990-1990 | The number of molecules of sodium in a molecule of sodium lactate is 1 |
| (externalImage Sodium "http://upload.wikimedia.org/wikipedia/en/2/26/BigNa.jpg") | pictureList.kif 2364-2364 | The number of molecules of sodium in a molecule of sodium lactate is 1 |
| appearance as argument number 2 |
|
|
| (names "Sodium" Sodium) | Mid-level-ontology.kif 30066-30066 | Sodium has name "Sodium" |
| (conventionalShortName "Na" Sodium) | Mid-level-ontology.kif 30067-30067 | Sodium is a conventional short name of "Na" |
| (termFormat EnglishLanguage Sodium "sodium") | domainEnglishFormat.kif 53667-53667 | Sodium is a conventional short name of "Na" |
| (termFormat ChineseTraditionalLanguage Sodium "鈉") | domainEnglishFormat.kif 53668-53668 | Sodium is a conventional short name of "Na" |
| (termFormat ChineseLanguage Sodium "钠") | domainEnglishFormat.kif 53669-53669 | 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 30070-30074 | If X is an instance of sodium and X is an instance of atom, then the measure of X is 22.9898 amu(s) |
| 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 10121-10130 | If X is an instance of salt, then All of the following hold: (1) there exist Y, Z (2) W such that Y is an instance of chemical synthesis (3) Z is a resource for Y (4) Z is an instance of sodium (5) W is a resource for Y (6) W is an instance of chlorine (7) X is a result of Y |
|