| Calcium(calcium)
| | Ca, atomic_number_20, calcium |
| appearance as argument number 1 |
|
|
| (atomicNumber Calcium 20) | Mid-level-ontology.kif 29511-29511 | 20 is an atomic number of calcium |
| (boilingPoint Calcium (MeasureFn 1760.0 KelvinDegree)) |
Mid-level-ontology.kif 31141-31141 | 1760.0 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 29519-29521 | 1760.0 Kelvin degree(s) is a boiling point of calcium |
| (externalImage Calcium "http://upload.wikimedia.org/wikipedia/commons/c/ cf/ Ca%2C20.jpg") | pictureList.kif 2129-2129 | 1760.0 Kelvin degree(s) is a boiling point of calcium |
| (externalImage Calcium "http://upload.wikimedia.org/wikipedia/commons/c/ cf/ Ca_TableImage.png") | pictureList.kif 1684-1684 | 1760.0 Kelvin degree(s) is a boiling point of calcium |
| (externalImage Calcium "http://upload.wikimedia.org/wikipedia/commons/thumb/ c/ cf/ Ca%2C20.jpg/ 125px_Ca%2C20.jpg") | pictureList.kif 1060-1060 | 1760.0 Kelvin degree(s) is a boiling point of calcium |
| (meltingPoint Calcium (MeasureFn 1112.0 KelvinDegree)) |
Mid-level-ontology.kif 31140-31140 | 1112.0 Kelvin degree(s) is a melting point of calcium |
| (molecularRatio Calcium 1 CalciumChloride) | Medicine.kif 5881-5881 | The number of molecules of calcium in a molecule of calcium chloride is 1 |
| (names Calcium "Calcium") | Mid-level-ontology.kif 29509-29509 | "Calcium" has &ames$"name" Calcium |
| (roomTempState Calcium Solid) | Mid-level-ontology.kif 33417-33417 | room temperature state calcium and solid |
| (subclass Calcium ElementalSubstance) | Mid-level-ontology.kif 29508-29508 | Calcium is a subclass of elemental substance |
| appearance as argument number 2 |
|
|
| (conventionalShortName "Ca" Calcium) | Mid-level-ontology.kif 29510-29510 | Calcium is a conventional short name of "Ca" |
| (termFormat ChineseLanguage Calcium "钙") | domainEnglishFormat.kif 12712-12712 | Calcium is a conventional short name of "Ca" |
| (termFormat ChineseTraditionalLanguage Calcium "鈣") | domainEnglishFormat.kif 12711-12711 | Calcium is a conventional short name of "Ca" |
| (termFormat EnglishLanguage Calcium "calcium") | domainEnglishFormat.kif 12710-12710 | Calcium is a conventional short name of "Ca" |
| antecedent |
|
|
| (=> (and (instance ?ATOM Calcium) (instance ?ATOM Atom)) (measure ?ATOM (MeasureFn 40.08 Amu))) |
Mid-level-ontology.kif 29513-29517 |
|
|
|
|