| Calcium(calcium)
| | Ca, atomic_number_20, calcium |
| appearance as argument number 1 |
|
|
| (atomicNumber Calcium 20) | Mid-level-ontology.kif 25864-25864 | 20 is an atomic number of calcium |
| (boilingPoint Calcium (MeasureFn 1760 KelvinDegree)) |
Mid-level-ontology.kif 27403-27403 | 1760 Kelvin degree(s) is a boiling point of calcium |
| (documentation Calcium EnglishLanguage "Soft grey metallic element belonging to group 2 of the periodic table. Used a reducing agent in the extraction of thorium, zirconium and uranium. Essential element for living organisms.") | Mid-level-ontology.kif 25871-25873 | |
| (externalImage Calcium "http://upload.wikimedia.org/wikipedia/commons/c/ cf/ Ca%2C20.jpg") | pictureList.kif 2131-2131 | |
| (externalImage Calcium "http://upload.wikimedia.org/wikipedia/commons/c/ cf/ Ca-TableImage.png") | pictureList.kif 1686-1686 | |
| (externalImage Calcium "http://upload.wikimedia.org/wikipedia/commons/thumb/ c/ cf/ Ca%2C20.jpg/ 125px-Ca%2C20.jpg") | pictureList.kif 1061-1061 | |
| (meltingPoint Calcium (MeasureFn 1112 KelvinDegree)) |
Mid-level-ontology.kif 27402-27402 | 1112 Kelvin degree(s) is a melting point of calcium |
| (names Calcium "Calcium") | Mid-level-ontology.kif 25862-25862 | "Calcium" has name calcium |
| (subclass Calcium ElementalSubstance) | Mid-level-ontology.kif 25861-25861 | Calcium is a subclass of elemental substance |
| appearance as argument number 2 |
|
|
| (conventionalShortName "Ca" Calcium) | Mid-level-ontology.kif 25863-25863 | Calcium is a conventional short name of "Ca" |
| (termFormat ChineseLanguage Calcium "钙") | domainEnglishFormat.kif 12643-12643 | |
| (termFormat ChineseTraditionalLanguage Calcium "鈣") | domainEnglishFormat.kif 12642-12642 | |
| (termFormat EnglishLanguage Calcium "calcium") | domainEnglishFormat.kif 12641-12641 |
| antecedent |
|
|
| (=> (and (instance ?ATOM Calcium) (instance ?ATOM Atom)) (measure ?ATOM (MeasureFn 40.08 Amu))) |
Mid-level-ontology.kif 25865-25869 |
|
|
|
|