Browsing Interface : Welcome guest : log in
|
Browsing Interface : Welcome guest : log in |
[
Home |
Graph |
LogLearn |
Editor |
]
KB:
Language:
Formal Language:
|
 |
   Magnesium
|
|
|
| appearance as argument number 1 |
|
|
| (subclass Magnesium ElementalSubstance) | Mid-level-ontology.kif 30081-30081 | Magnesium is a subclass of elemental substance |
| (atomicNumber Magnesium 12) | Mid-level-ontology.kif 30084-30084 | 12 is an atomic number of magnesium |
| (documentation Magnesium EnglishLanguage "Silvery metallic element belonging to group 2 of the periodic table (alkaline-earth metals). It is essential for living organisms, and is used in a number of light alloys. Chemically very reactive, it forms a protective oxide coating when exposed to air and burns with an intense white flame. It also reacts with sulphur, nitrogen and the halogens. First isolated by Bussy in 1828.") | Mid-level-ontology.kif 30092-30097 | 12 is an atomic number of magnesium |
| (meltingPoint Magnesium (MeasureFn 921.95 KelvinDegree)) |
Mid-level-ontology.kif 31829-31829 | 921.95 Kelvin degree(s) is a melting point of magnesium |
| (boilingPoint Magnesium (MeasureFn 1380.0 KelvinDegree)) |
Mid-level-ontology.kif 31830-31830 | 1380.0 Kelvin degree(s) is a boiling point of magnesium |
| (roomTempState Magnesium Solid) | Mid-level-ontology.kif 33934-33934 | room temperature state magnesium and solid |
| (externalImage Magnesium "http://upload.wikimedia.org/wikipedia/commons/ thumb/ d/ d8/ MagnesiumMetalUSGOV.jpg/ 125px_MagnesiumMetalUSGOV.jpg") | pictureList.kif 1172-1172 | room temperature state magnesium and solid |
| (externalImage Magnesium "http://upload.wikimedia.org/wikipedia/commons/ 2/ 23/ Mg_TableImage.png") | pictureList.kif 1838-1838 | room temperature state magnesium and solid |
| (externalImage Magnesium "http://upload.wikimedia.org/wikipedia/commons/ d/ d8/ MagnesiumMetalUSGOV.jpg") | pictureList.kif 2249-2249 | room temperature state magnesium and solid |
| appearance as argument number 2 |
|
|
| (names "Magnesium" Magnesium) | Mid-level-ontology.kif 30082-30082 | Magnesium has name "Magnesium" |
| (conventionalShortName "Mg" Magnesium) | Mid-level-ontology.kif 30083-30083 | Magnesium is a conventional short name of "Mg" |
| (termFormat EnglishLanguage Magnesium "magnesium") | domainEnglishFormat.kif 35617-35617 | Magnesium is a conventional short name of "Mg" |
| (termFormat ChineseTraditionalLanguage Magnesium "鎂") | domainEnglishFormat.kif 35618-35618 | Magnesium is a conventional short name of "Mg" |
| (termFormat ChineseLanguage Magnesium "镁") | domainEnglishFormat.kif 35619-35619 | Magnesium is a conventional short name of "Mg" |
| antecedent |
|
|
| (=> (and (instance ?ATOM Magnesium) (instance ?ATOM Atom)) (measure ?ATOM (MeasureFn 24.312 Amu))) |
Mid-level-ontology.kif 30086-30090 | If X is an instance of magnesium and X is an instance of atom, then the measure of X is 24.312 amu(s) |
|
