Browsing Interface : Welcome guest : log in
|
Browsing Interface : Welcome guest : log in |
[
Home |
Graph |
LogLearn |
Editor |
]
KB:
Language:
Formal Language:
|
Potassium(potassium)
|  | K, atomic_number_19, potassium |
| appearance as argument number 1 |
|
|
| (subclass Potassium ElementalSubstance) | Mid-level-ontology.kif 30197-30197 | Potassium is a subclass of elemental substance |
| (atomicNumber Potassium 19) | Mid-level-ontology.kif 30200-30200 | 19 is an atomic number of potassium |
| (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 30208-30211 | 19 is an atomic number of potassium |
| (meltingPoint Potassium (MeasureFn 336.8 KelvinDegree)) |
Mid-level-ontology.kif 31843-31843 | 336.8 Kelvin degree(s) is a melting point of potassium |
| (boilingPoint Potassium (MeasureFn 1047.0 KelvinDegree)) |
Mid-level-ontology.kif 31844-31844 | 1047.0 Kelvin degree(s) is a boiling point of potassium |
| (roomTempState Potassium Solid) | Mid-level-ontology.kif 33941-33941 | room temperature state potassium and solid |
| (molecularRatio Potassium 1 PotassiumChloride) | Medicine.kif 5903-5903 | The number of molecules of potassium in a molecule of potassium chloride is 1 |
| (externalImage Potassium "http://upload.wikimedia.org/wikipedia/commons/ thumb/ f/ f1/ K%2C19.jpg/ 125px_K%2C19.jpg") | pictureList.kif 1218-1218 | The number of molecules of potassium in a molecule of potassium chloride is 1 |
| (externalImage Potassium "http://upload.wikimedia.org/wikipedia/commons/ 5/ 59/ K_TableImage.png") | pictureList.kif 1930-1930 | The number of molecules of potassium in a molecule of potassium chloride is 1 |
| (externalImage Potassium "http://upload.wikimedia.org/wikipedia/commons/ f/ f1/ K%2C19.jpg") | pictureList.kif 2319-2319 | The number of molecules of potassium in a molecule of potassium chloride is 1 |
| appearance as argument number 2 |
|
|
| (names "Potassium" Potassium) | Mid-level-ontology.kif 30198-30198 | Potassium has name "Potassium" |
| (conventionalShortName "K" Potassium) | Mid-level-ontology.kif 30199-30199 | Potassium is a conventional short name of "K" |
| (termFormat EnglishLanguage Potassium "potassium") | domainEnglishFormat.kif 46867-46867 | Potassium is a conventional short name of "K" |
| (termFormat ChineseTraditionalLanguage Potassium "鉀") | domainEnglishFormat.kif 46868-46868 | Potassium is a conventional short name of "K" |
| (termFormat ChineseLanguage Potassium "钾") | domainEnglishFormat.kif 46869-46869 | Potassium is a conventional short name of "K" |
| antecedent |
|
|
| (=> (and (instance ?ATOM Potassium) (instance ?ATOM Atom)) (measure ?ATOM (MeasureFn 39.0983 Amu))) |
Mid-level-ontology.kif 30202-30206 | If X is an instance of potassium and X is an instance of atom, then the measure of X is 39.0983 amu(s) |
|