Cerium |
appearance as argument number 1 |
(atomicNumber Cerium 58) | Mid-level-ontology.kif 28240-28240 | atomicNumber Cerium and 58 |
(boilingPoint Cerium (MeasureFn 3530.0 KelvinDegree)) |
Mid-level-ontology.kif 29296-29296 | boilingPoint Cerium and 3530.0 の KelvinDegree(s) |
(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 28248-28252 | |
(externalImage Cerium "http://upload.wikimedia.org/wikipedia/commons/0/0a/ Ce-TableImage.png") | pictureList.kif 1694-1694 | |
(externalImage Cerium "http://upload.wikimedia.org/wikipedia/commons/2/22/ Ce%2C58.jpg") | pictureList.kif 2136-2136 | |
(externalImage Cerium "http://upload.wikimedia.org/wikipedia/commons/thumb/ 2/ 22/ Ce%2C58.jpg/ 125px-Ce%2C58.jpg") | pictureList.kif 1069-1069 | |
(meltingPoint Cerium (MeasureFn 1071.0 KelvinDegree)) |
Mid-level-ontology.kif 29295-29295 | meltingPoint Cerium and 1071.0 の KelvinDegree(s) |
(names Cerium "Cerium") | Mid-level-ontology.kif 28238-28238 | "Cerium" は Cerium の name を 持って %n{ない} |
(roomTempState Cerium Solid) | Mid-level-ontology.kif 31508-31508 | roomTempState Cerium and Solid |
(subclass Cerium ElementalSubstance) | Mid-level-ontology.kif 28237-28237 | Cerium は 単体 の subclass では %n |
appearance as argument number 2 |
(conventionalShortName "Ce" Cerium) | Mid-level-ontology.kif 28239-28239 | conventionalShortName "Ce" and Cerium |
(termFormat ChineseLanguage Cerium "铈") | domainEnglishFormat.kif 13956-13956 | |
(termFormat ChineseTraditionalLanguage Cerium "鈰") | domainEnglishFormat.kif 13955-13955 | |
(termFormat EnglishLanguage Cerium "cerium") | domainEnglishFormat.kif 13954-13954 |
antecedent |
(=> (and (instance ?ATOM Cerium) (instance ?ATOM Atom)) (measure ?ATOM (MeasureFn 140.12 Amu))) |
Mid-level-ontology.kif 28242-28246 |