|
|
   Potassium
|
|
|
| appearance as argument number 1 |
|
|
| (atomicNumber Potassium 19) | Mid-level-ontology.kif 27625-27625 | atomicNumber Potassium and 19 |
| (boilingPoint Potassium (MeasureFn 1047.0 KelvinDegree)) |
Mid-level-ontology.kif 29269-29269 | boilingPoint Potassium and 1047.0 KelvinDegree(s) |
| (documentation Potassium EnglishLanguage "Soft silvery metallic element belonging to group 1 of the periodic table (alkali metals). Occurs naturally in seawater and a many minerals. Highly reactive, chemically, it resembles sodium in its behavior and compounds. Discovered by Sir Humphry Davy in 1807.") | Mid-level-ontology.kif 27633-27636 | |
| (externalImage Potassium "http://upload.wikimedia.org/wikipedia/commons/ 5/ 59/ K-TableImage.png") | pictureList.kif 1931-1931 | |
| (externalImage Potassium "http://upload.wikimedia.org/wikipedia/commons/ f/ f1/ K%2C19.jpg") | pictureList.kif 2320-2320 | |
| (externalImage Potassium "http://upload.wikimedia.org/wikipedia/commons/ thumb/ f/ f1/ K%2C19.jpg/ 125px-K%2C19.jpg") | pictureList.kif 1218-1218 | |
| (meltingPoint Potassium (MeasureFn 336.8 KelvinDegree)) |
Mid-level-ontology.kif 29268-29268 | meltingPoint Potassium and 336.8 KelvinDegree(s) |
| (molecularRatio Potassium 1 PotassiumChloride) | Medicine.kif 5873-5873 | molecularRatio Potassium, 1 and PotassiumChloride |
| (names Potassium "Potassium") | Mid-level-ontology.kif 27623-27623 | "Potassium" s'appele nom Potassium |
| (roomTempState Potassium Solid) | Mid-level-ontology.kif 31501-31501 | roomTempState Potassium and Solid |
| (subclass Potassium ElementalSubstance) | Mid-level-ontology.kif 27622-27622 | Potassium est une sous-classe de substance �l�mentaire |
| appearance as argument number 2 |
|
|
| (conventionalShortName "K" Potassium) | Mid-level-ontology.kif 27624-27624 | conventionalShortName "K" and Potassium |
| (termFormat ChineseLanguage Potassium "钾") | domainEnglishFormat.kif 46876-46876 | |
| (termFormat ChineseTraditionalLanguage Potassium "鉀") | domainEnglishFormat.kif 46875-46875 | |
| (termFormat EnglishLanguage Potassium "potassium") | domainEnglishFormat.kif 46874-46874 |
| antecedent |
|
|
| (=> (and (instance ?ATOM Potassium) (instance ?ATOM Atom)) (measure ?ATOM (MeasureFn 39.0983 Amu))) |
Mid-level-ontology.kif 27627-27631 |
|
|
|
