| Cerium(cerium)
| | Ce, atomic_number_58, cerium |
| appearance as argument number 1 |
|
|
| (atomicNumber Cerium 58) | Mid-level-ontology.kif 26476-26476 | 58 is an atomic number of cerium |
| (boilingPoint Cerium (MeasureFn 3530 KelvinDegree)) |
Mid-level-ontology.kif 27479-27479 | 3530 Kelvin degree(s) is a boiling point of cerium |
| (documentation Cerium EnglishLanguage "Silvery metallic element, belongs to the lanthanoids. Four natural isotopes exist, and fifteen radioactive isotopes have been identified. Used in some rare-earth alloys. The oxidized form is used in the glass industry. Discovered by Martin .H. Klaproth in 1803.") | Mid-level-ontology.kif 26483-26487 | |
| (externalImage Cerium "http://upload.wikimedia.org/wikipedia/commons/0/0a/ Ce-TableImage.png") | pictureList.kif 1695-1695 | |
| (externalImage Cerium "http://upload.wikimedia.org/wikipedia/commons/2/22/ Ce%2C58.jpg") | pictureList.kif 2137-2137 | |
| (externalImage Cerium "http://upload.wikimedia.org/wikipedia/commons/thumb/ 2/ 22/ Ce%2C58.jpg/ 125px-Ce%2C58.jpg") | pictureList.kif 1070-1070 | |
| (meltingPoint Cerium (MeasureFn 1071 KelvinDegree)) |
Mid-level-ontology.kif 27478-27478 | 1071 Kelvin degree(s) is a melting point of cerium |
| (names Cerium "Cerium") | Mid-level-ontology.kif 26474-26474 | "Cerium" has name cerium |
| (subclass Cerium ElementalSubstance) | Mid-level-ontology.kif 26473-26473 | Cerium is a subclass of elemental substance |
| appearance as argument number 2 |
|
|
| (conventionalShortName "Ce" Cerium) | Mid-level-ontology.kif 26475-26475 | Cerium is a conventional short name of "Ce" |
| (termFormat ChineseLanguage Cerium "铈") | domainEnglishFormat.kif 13891-13891 | |
| (termFormat ChineseTraditionalLanguage Cerium "鈰") | domainEnglishFormat.kif 13890-13890 | |
| (termFormat EnglishLanguage Cerium "cerium") | domainEnglishFormat.kif 13889-13889 |
| antecedent |
|
|
| (=> (and (instance ?ATOM Cerium) (instance ?ATOM Atom)) (measure ?ATOM (MeasureFn 140.12 Amu))) |
Mid-level-ontology.kif 26477-26481 |
|
|
|
|