| Cerium
| |
| appearance as argument number 1 |
|
|
| (atomicNumber Cerium 58) | Mid-level-ontology.kif 30159-30159 | atomicNumber Cerium and 58 |
| (boilingPoint Cerium (MeasureFn 3530.0 KelvinDegree)) |
Mid-level-ontology.kif 31215-31215 | 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 30167-30171 | boilingPoint Cerium and 3530.0 の KelvinDegree(s) |
| (externalImage Cerium "http://upload.wikimedia.org/wikipedia/commons/0/0a/ Ce_TableImage.png") | pictureList.kif 1693-1693 | boilingPoint Cerium and 3530.0 の KelvinDegree(s) |
| (externalImage Cerium "http://upload.wikimedia.org/wikipedia/commons/2/22/ Ce%2C58.jpg") | pictureList.kif 2135-2135 | boilingPoint Cerium and 3530.0 の KelvinDegree(s) |
| (externalImage Cerium "http://upload.wikimedia.org/wikipedia/commons/thumb/ 2/ 22/ Ce%2C58.jpg/ 125px_Ce%2C58.jpg") | pictureList.kif 1069-1069 | boilingPoint Cerium and 3530.0 の KelvinDegree(s) |
| (meltingPoint Cerium (MeasureFn 1071.0 KelvinDegree)) |
Mid-level-ontology.kif 31214-31214 | meltingPoint Cerium and 1071.0 の KelvinDegree(s) |
| (names Cerium "Cerium") | Mid-level-ontology.kif 30157-30157 | "Cerium" は Cerium の &ames$"name" を 持って |
| (roomTempState Cerium Solid) | Mid-level-ontology.kif 33453-33453 | roomTempState Cerium and Solid |
| (subclass Cerium ElementalSubstance) | Mid-level-ontology.kif 30156-30156 | Cerium は 単体 の subclass では |
| appearance as argument number 2 |
|
|
| (conventionalShortName "Ce" Cerium) | Mid-level-ontology.kif 30158-30158 | conventionalShortName "Ce" and Cerium |
| (termFormat ChineseLanguage Cerium "铈") | domainEnglishFormat.kif 13965-13965 | conventionalShortName "Ce" and Cerium |
| (termFormat ChineseTraditionalLanguage Cerium "鈰") | domainEnglishFormat.kif 13964-13964 | conventionalShortName "Ce" and Cerium |
| (termFormat EnglishLanguage Cerium "cerium") | domainEnglishFormat.kif 13963-13963 | conventionalShortName "Ce" and Cerium |
| antecedent |
|
|
| (=> (and (instance ?ATOM Cerium) (instance ?ATOM Atom)) (measure ?ATOM (MeasureFn 140.12 Amu))) |
Mid-level-ontology.kif 30161-30165 |
|
|
|